qemu-e2k/include/hw/acpi/piix4.h