KxNmiInterrupt

NTSTATUS __stdcall KxNmiInterrupt(){
  __int64 v0; 
  _BYTE v2[48]; 

  if( __readgsdword(0x2F08u) != 5 )
    KiSaveProcessorState((_KTRAP_FRAME *)(v0 - 128), (_KTRAP_FRAME *)v2);
  return KiProcessNMI((_KTRAP_FRAME *)(v0 - 128), (_KTRAP_FRAME *)v2);
}

Referenced by:

KiNmiInterruptStart