BOOKE_IRQPRIO_ITLB_MISS
kvmppc_booke_queue_irqprio(vcpu, BOOKE_IRQPRIO_ITLB_MISS);
sregs->u.e.ivor_low[14] = vcpu->arch.ivor[BOOKE_IRQPRIO_ITLB_MISS];
vcpu->arch.ivor[BOOKE_IRQPRIO_ITLB_MISS] = sregs->u.e.ivor_low[14];
kvmppc_booke_queue_irqprio(vcpu, BOOKE_IRQPRIO_ITLB_MISS);
case BOOKE_IRQPRIO_ITLB_MISS:
vcpu->arch.ivor[BOOKE_IRQPRIO_ITLB_MISS] = spr_val;
*spr_val = vcpu->arch.ivor[BOOKE_IRQPRIO_ITLB_MISS];
{BOOKE_IRQPRIO_ITLB_MISS, "ITLB_MISS"}, \