2020-05-20 15:19:47 +02:00
|
|
|
#ifndef HW_I386_ACPI_COMMON_H
|
|
|
|
#define HW_I386_ACPI_COMMON_H
|
|
|
|
|
2024-02-13 13:01:49 +01:00
|
|
|
#include "hw/boards.h"
|
2021-05-16 22:50:34 +02:00
|
|
|
#include "hw/acpi/bios-linker-loader.h"
|
|
|
|
#include "hw/i386/x86.h"
|
2020-05-20 15:19:47 +02:00
|
|
|
|
|
|
|
/* Default IOAPIC ID */
|
|
|
|
#define ACPI_BUILD_IOAPIC_ID 0x0
|
|
|
|
|
2024-02-13 13:01:49 +01:00
|
|
|
void pc_madt_cpu_entry(int uid, const CPUArchIdList *apic_ids,
|
|
|
|
GArray *entry, bool force_enabled);
|
2020-05-20 15:19:47 +02:00
|
|
|
void acpi_build_madt(GArray *table_data, BIOSLinker *linker,
|
2023-09-08 10:42:27 +02:00
|
|
|
X86MachineState *x86ms,
|
2021-01-19 01:32:13 +01:00
|
|
|
const char *oem_id, const char *oem_table_id);
|
2020-05-20 15:19:47 +02:00
|
|
|
|
|
|
|
#endif
|