acpi-common.h (427B)
1#ifndef HW_I386_ACPI_COMMON_H 2#define HW_I386_ACPI_COMMON_H 3 4#include "hw/acpi/acpi_dev_interface.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 11void acpi_build_madt(GArray *table_data, BIOSLinker *linker, 12 X86MachineState *x86ms, AcpiDeviceIf *adev, 13 const char *oem_id, const char *oem_table_id); 14 15#endif