KxNmiInterrupt

CHAR __fastcall KxNmiInterrupt(){
  __int64 v0; 
  _BYTE v2[312]; 
  if( __readgsdword(0x2F08u) != 5 )
    KiSaveProcessorState((KTRAP_FRAME *)(v0 - 128), (KTRAP_FRAME *)v2);
  return KiProcessNMI((KTRAP_FRAME *)(v0 - 128), (KEXCEPTION_FRAME *)v2);
}

Referenced by:

KiNmiInterruptStart