BOOKE_IRQPRIO_MAX 668 arch/powerpc/kvm/booke.c while (priority < BOOKE_IRQPRIO_MAX) { BOOKE_IRQPRIO_MAX 1400 arch/powerpc/kvm/booke.c for (i = 0; i < BOOKE_IRQPRIO_MAX; i++)