Michael S. Tsirkin | 72c194f | 2013-07-24 18:56:14 +0300 | [diff] [blame] | 1 | |
| 2 | #ifndef HW_I386_ACPI_BUILD_H |
| 3 | #define HW_I386_ACPI_BUILD_H |
Kwangwoo Lee | 5c94b82 | 2020-04-21 13:59:29 +0100 | [diff] [blame] | 4 | #include "hw/acpi/acpi-defs.h" |
| 5 | |
| 6 | extern const struct AcpiGenericAddress x86_nvdimm_acpi_dsmio; |
Michael S. Tsirkin | 72c194f | 2013-07-24 18:56:14 +0300 | [diff] [blame] | 7 | |
Julia Suvorova | caf108b | 2021-07-13 02:42:00 +0200 | [diff] [blame] | 8 | /* PCI Hot-plug registers bases. See docs/spec/acpi_pci_hotplug.txt */ |
| 9 | #define ACPI_PCIHP_SEJ_BASE 0x8 |
| 10 | #define ACPI_PCIHP_BNMR_BASE 0x10 |
| 11 | |
Eduardo Habkost | bb292f5 | 2015-12-11 16:42:28 -0200 | [diff] [blame] | 12 | void acpi_setup(void); |
Julia Suvorova | c0e427d | 2021-07-13 02:42:01 +0200 | [diff] [blame] | 13 | Object *acpi_get_i386_pci_host(void); |
Michael S. Tsirkin | 72c194f | 2013-07-24 18:56:14 +0300 | [diff] [blame] | 14 | |
| 15 | #endif |