/include/hw/acpi/
../
acpi-defs.h
acpi.h
acpi_aml_interface.h
acpi_dev_interface.h
aml-build.h
bios-linker-loader.h
cpu.h
cpu_hotplug.h
cxl.h
erst.h
generic_event_device.h
ghes.h
ich9.h
ipmi.h
memory_hotplug.h
pc-hotplug.h
pci.h
pcihp.h
piix4.h
tco.h
tpm.h
utils.h
vmgenid.h