Lines Matching full:acpi

1 /* Support for generating ACPI tables and passing them to Guests
27 #include "hw/acpi/acpi.h"
28 #include "hw/acpi/aml-build.h"
29 #include "hw/acpi/utils.h"
32 #include "acpi-build.h"
33 #include "acpi-common.h"
43     /* ACPI spec says that LAPIC entry for non present  in pc_madt_cpu_entry()
53         build_append_int_noprefix(entry, uid, 1);     /* ACPI Processor ID */  in pc_madt_cpu_entry()
63         build_append_int_noprefix(entry, uid, 4);     /* ACPI Processor UID */  in pc_madt_cpu_entry()
92  * ACPI spec, Revision 1.0b
146         /* ACPI Processor UID */  in acpi_build_madt()
156         /* ACPI Processor ID */  in acpi_build_madt()