acpi-common.h 512 B

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