BOOKE_IRQPRIO_EXTERNAL_LEVEL  327 arch/powerpc/kvm/booke.c 		prio = BOOKE_IRQPRIO_EXTERNAL_LEVEL;
BOOKE_IRQPRIO_EXTERNAL_LEVEL  335 arch/powerpc/kvm/booke.c 	clear_bit(BOOKE_IRQPRIO_EXTERNAL_LEVEL, &vcpu->arch.pending_exceptions);
BOOKE_IRQPRIO_EXTERNAL_LEVEL  411 arch/powerpc/kvm/booke.c 	if (priority == BOOKE_IRQPRIO_EXTERNAL_LEVEL) {
BOOKE_IRQPRIO_EXTERNAL_LEVEL   51 arch/powerpc/kvm/booke.h #define BOOKE_IRQMASK_EE ((1 << BOOKE_IRQPRIO_EXTERNAL_LEVEL) | \
BOOKE_IRQPRIO_EXTERNAL_LEVEL  190 arch/powerpc/kvm/trace_booke.h 	{BOOKE_IRQPRIO_EXTERNAL_LEVEL, "EXTERNAL_LEVEL"}, \