1 | /** @file
|
---|
2 | OVMF Platform definitions
|
---|
3 |
|
---|
4 | Copyright (C) 2015, Red Hat, Inc.
|
---|
5 | Copyright (c) 2014, Gabriel L. Somlo <[email protected]>
|
---|
6 |
|
---|
7 | SPDX-License-Identifier: BSD-2-Clause-Patent
|
---|
8 | **/
|
---|
9 |
|
---|
10 | #ifndef __OVMF_PLATFORMS_H__
|
---|
11 | #define __OVMF_PLATFORMS_H__
|
---|
12 |
|
---|
13 | #include <Library/PciLib.h>
|
---|
14 | #include <IndustryStandard/Pci22.h>
|
---|
15 | #include <IndustryStandard/Q35MchIch9.h>
|
---|
16 | #include <IndustryStandard/I440FxPiix4.h>
|
---|
17 | #include <IndustryStandard/Bhyve.h>
|
---|
18 | #include <IndustryStandard/Microvm.h>
|
---|
19 | #include <IndustryStandard/CloudHv.h>
|
---|
20 |
|
---|
21 | //
|
---|
22 | // OVMF Host Bridge DID Address
|
---|
23 | //
|
---|
24 | #define OVMF_HOSTBRIDGE_DID \
|
---|
25 | PCI_LIB_ADDRESS (0, 0, 0, PCI_DEVICE_ID_OFFSET)
|
---|
26 |
|
---|
27 | //
|
---|
28 | // Values we program into the PM base address registers
|
---|
29 | //
|
---|
30 | #define PIIX4_PMBA_VALUE 0xB000
|
---|
31 | #define ICH9_PMBASE_VALUE 0x0600
|
---|
32 |
|
---|
33 | //
|
---|
34 | // Common bits in same-purpose registers
|
---|
35 | //
|
---|
36 | #define PMBA_RTE BIT0
|
---|
37 |
|
---|
38 | //
|
---|
39 | // Common IO ports relative to the Power Management Base Address
|
---|
40 | //
|
---|
41 | #define ACPI_TIMER_OFFSET 0x8
|
---|
42 |
|
---|
43 | #endif
|
---|