BOOK3S_IRQPRIO_MACHINE_CHECK  150 arch/powerpc/kvm/book3s.c 	case 0x200: prio = BOOK3S_IRQPRIO_MACHINE_CHECK;	break;
BOOK3S_IRQPRIO_MACHINE_CHECK  313 arch/powerpc/kvm/book3s.c 	case BOOK3S_IRQPRIO_MACHINE_CHECK: