1 #ifndef HW_I386_ACPI_COMMON_H 2 #define HW_I386_ACPI_COMMON_H 3 4 #include "hw/acpi/bios-linker-loader.h" 5 #include "hw/i386/x86.h" 6 7 /* Default IOAPIC ID */ 8 #define ACPI_BUILD_IOAPIC_ID 0x0 9 10 void acpi_build_madt(GArray *table_data, BIOSLinker *linker, 11 X86MachineState *x86ms, 12 const char *oem_id, const char *oem_table_id); 13 14 #endif 15