KVMPPC_IRQ_MPIC   512 arch/powerpc/kvm/booke.c 				BUG_ON(vcpu->arch.irq_type != KVMPPC_IRQ_MPIC);
KVMPPC_IRQ_MPIC  1762 arch/powerpc/kvm/mpic.c 	vcpu->arch.irq_type = KVMPPC_IRQ_MPIC;
KVMPPC_IRQ_MPIC   742 arch/powerpc/kvm/powerpc.c 	case KVMPPC_IRQ_MPIC: