BOOKE_IRQPRIO_EXTERNAL_LEVEL
prio = BOOKE_IRQPRIO_EXTERNAL_LEVEL;
clear_bit(BOOKE_IRQPRIO_EXTERNAL_LEVEL, &vcpu->arch.pending_exceptions);
if (priority == BOOKE_IRQPRIO_EXTERNAL_LEVEL) {
#define BOOKE_IRQMASK_EE ((1 << BOOKE_IRQPRIO_EXTERNAL_LEVEL) | \
{BOOKE_IRQPRIO_EXTERNAL_LEVEL, "EXTERNAL_LEVEL"}, \