BOOKE_IRQPRIO_DEBUG
sregs->u.e.ivor_low[15] = vcpu->arch.ivor[BOOKE_IRQPRIO_DEBUG];
vcpu->arch.ivor[BOOKE_IRQPRIO_DEBUG] = sregs->u.e.ivor_low[15];
kvmppc_booke_queue_irqprio(vcpu, BOOKE_IRQPRIO_DEBUG);
clear_bit(BOOKE_IRQPRIO_DEBUG, &vcpu->arch.pending_exceptions);
case BOOKE_IRQPRIO_DEBUG:
vcpu->arch.ivor[BOOKE_IRQPRIO_DEBUG] = spr_val;
*spr_val = vcpu->arch.ivor[BOOKE_IRQPRIO_DEBUG];
{BOOKE_IRQPRIO_DEBUG, "DEBUG"}, \