hw/i386/acpi-common.h

   1 #ifndef HW_I386_ACPI_COMMON_H
   2 #define HW_I386_ACPI_COMMON_H
   3
   4 #include "hw/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