MPS_INTTYPE_NMI   776 arch/i386/i386/mpbios.c 	case MPS_INTTYPE_NMI:
MPS_INTTYPE_NMI  1063 arch/i386/i386/mpbios.c 	case MPS_INTTYPE_NMI: