BOOKE_IRQPRIO_EXTERNAL
sregs->u.e.ivor_low[4] = vcpu->arch.ivor[BOOKE_IRQPRIO_EXTERNAL];
vcpu->arch.ivor[BOOKE_IRQPRIO_EXTERNAL] = sregs->u.e.ivor_low[4];
unsigned int prio = BOOKE_IRQPRIO_EXTERNAL;
clear_bit(BOOKE_IRQPRIO_EXTERNAL, &vcpu->arch.pending_exceptions);
priority = BOOKE_IRQPRIO_EXTERNAL;
if ((priority == BOOKE_IRQPRIO_EXTERNAL) && vcpu->arch.epr_flags)
case BOOKE_IRQPRIO_EXTERNAL:
(1 << BOOKE_IRQPRIO_EXTERNAL))
vcpu->arch.ivor[BOOKE_IRQPRIO_EXTERNAL] = spr_val;
*spr_val = vcpu->arch.ivor[BOOKE_IRQPRIO_EXTERNAL];
{BOOKE_IRQPRIO_EXTERNAL, "EXTERNAL"}, \