1eb66ffabSGerd Hoffmann #ifndef HW_I386_ACPI_COMMON_H 2eb66ffabSGerd Hoffmann #define HW_I386_ACPI_COMMON_H 3eb66ffabSGerd Hoffmann 4*a4ed7a7bSPhilippe Mathieu-Daudé #include "hw/boards.h" 558519090SPhilippe Mathieu-Daudé #include "hw/acpi/bios-linker-loader.h" 658519090SPhilippe Mathieu-Daudé #include "hw/i386/x86.h" 7eb66ffabSGerd Hoffmann 8eb66ffabSGerd Hoffmann /* Default IOAPIC ID */ 9eb66ffabSGerd Hoffmann #define ACPI_BUILD_IOAPIC_ID 0x0 10eb66ffabSGerd Hoffmann 11*a4ed7a7bSPhilippe Mathieu-Daudé void pc_madt_cpu_entry(int uid, const CPUArchIdList *apic_ids, 12*a4ed7a7bSPhilippe Mathieu-Daudé GArray *entry, bool force_enabled); 13eb66ffabSGerd Hoffmann void acpi_build_madt(GArray *table_data, BIOSLinker *linker, 14f4a06e59SBernhard Beschow X86MachineState *x86ms, 15602b4582SMarian Postevca const char *oem_id, const char *oem_table_id); 16eb66ffabSGerd Hoffmann 17eb66ffabSGerd Hoffmann #endif 18