BOOK3S_IRQPRIO_MAX
default: prio = BOOK3S_IRQPRIO_MAX; break;
while (priority < BOOK3S_IRQPRIO_MAX) {