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