xemu/include/hw/ppc/openpic_kvm.h