KVMPPC_IRQ_XIVE
return vcpu->arch.irq_type == KVMPPC_IRQ_XIVE;
vcpu->arch.irq_type = KVMPPC_IRQ_XIVE;
case KVMPPC_IRQ_XIVE: