]>
Commit | Line | Data |
---|---|---|
eb66ffab GH |
1 | #ifndef HW_I386_ACPI_COMMON_H |
2 | #define HW_I386_ACPI_COMMON_H | |
eb66ffab | 3 | |
58519090 PMD |
4 | #include "hw/acpi/acpi_dev_interface.h" |
5 | #include "hw/acpi/bios-linker-loader.h" | |
6 | #include "hw/i386/x86.h" | |
eb66ffab GH |
7 | |
8 | /* Default IOAPIC ID */ | |
9 | #define ACPI_BUILD_IOAPIC_ID 0x0 | |
10 | ||
11 | void acpi_build_madt(GArray *table_data, BIOSLinker *linker, | |
602b4582 MP |
12 | X86MachineState *x86ms, AcpiDeviceIf *adev, |
13 | const char *oem_id, const char *oem_table_id); | |
eb66ffab GH |
14 | |
15 | #endif |