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++)