BOOK3S_IRQPRIO_PROGRAM
case 0x700: prio = BOOK3S_IRQPRIO_PROGRAM; break;
case BOOK3S_IRQPRIO_PROGRAM: