Needed for microvm. Signed-off-by: Gerd Hoffmann <kraxel@redhat.com> Reviewed-by: Igor Mammedov <imammedo@redhat.com> Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> Message-Id: <20200520132003.9492-8-kraxel@redhat.com> Reviewed-by: Michael S. Tsirkin <mst@redhat.com> Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
16 lines
419 B
C
16 lines
419 B
C
#ifndef HW_I386_ACPI_COMMON_H
|
|
#define HW_I386_ACPI_COMMON_H
|
|
#include "include/hw/acpi/acpi_dev_interface.h"
|
|
|
|
#include "include/hw/acpi/bios-linker-loader.h"
|
|
#include "include/hw/i386/x86.h"
|
|
|
|
/* Default IOAPIC ID */
|
|
#define ACPI_BUILD_IOAPIC_ID 0x0
|
|
|
|
void acpi_build_madt(GArray *table_data, BIOSLinker *linker,
|
|
X86MachineState *x86ms, AcpiDeviceIf *adev,
|
|
bool has_pci);
|
|
|
|
#endif
|