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