522ece32d2
Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org> Reviewed-by: Eric Blake <eblake@redhat.com> Signed-off-by: Markus Armbruster <armbru@redhat.com> Message-Id: <20180201111846.21846-4-armbru@redhat.com> |
||
---|---|---|
.. | ||
acpi_dev_interface.h | ||
acpi-defs.h | ||
acpi.h | ||
aml-build.h | ||
bios-linker-loader.h | ||
cpu_hotplug.h | ||
cpu.h | ||
ich9.h | ||
ipmi.h | ||
memory_hotplug.h | ||
pc-hotplug.h | ||
pcihp.h | ||
piix4.h | ||
tco.h | ||
tpm.h | ||
vmgenid.h |