hw/i386/acpi-common.h

   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
  11 void 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