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