b1c439d179
enable_tco is specific to i386/pc. Suggested-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org> Reviewed-by: Igor Mammedov <imammedo@redhat.com> Signed-off-by: Michael Tokarev <mjt@tls.msk.ru> |
||
---|---|---|
.. | ||
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 |