BOOK3S_IRQPRIO_EXTERNAL
case 0x500: prio = BOOK3S_IRQPRIO_EXTERNAL; break;
case BOOK3S_IRQPRIO_EXTERNAL:
case BOOK3S_IRQPRIO_EXTERNAL:
if (test_bit(BOOK3S_IRQPRIO_EXTERNAL,
ext = (vcpu->arch.pending_exceptions >> BOOK3S_IRQPRIO_EXTERNAL) & 1;
set_bit(BOOK3S_IRQPRIO_EXTERNAL, &vcpu->arch.pending_exceptions);
clear_bit(BOOK3S_IRQPRIO_EXTERNAL, &vcpu->arch.pending_exceptions);