hw/i386/acpi-common.h

   1 #ifndef HW_I386_ACPI_COMMON_H
   2 #define HW_I386_ACPI_COMMON_H
   3 #include "include/hw/acpi/acpi_dev_interface.h"
   4
   5 #include "include/hw/acpi/bios-linker-loader.h"
   6 #include "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                      bool has_pci);
  14
  15 #endif