BOOK3S_IRQPRIO_ALIGNMENT
case 0x600: prio = BOOK3S_IRQPRIO_ALIGNMENT; break;
case BOOK3S_IRQPRIO_ALIGNMENT: