KVMPPC_IRQ_MPIC
BUG_ON(vcpu->arch.irq_type != KVMPPC_IRQ_MPIC);
vcpu->arch.irq_type = KVMPPC_IRQ_MPIC;
case KVMPPC_IRQ_MPIC: