qemu/include/hw/acpi/piix4.h