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