/include/hw/acpi/

• ../
• acpi-defs.h
• acpi.h
• acpi_dev_interface.h
• aml-build.h
• bios-linker-loader.h
• cpu.h
• cpu_hotplug.h
• generic_event_device.h
• ich9.h
• ipmi.h
• memory_hotplug.h
• pc-hotplug.h
• pci.h
• pcihp.h
• tco.h
• tpm.h
• utils.h
• vmgenid.h