qemu/include/hw/pci-host/ppce500.h