VerifierKeLeaveCriticalRegion

VOID __stdcall VerifierKeLeaveCriticalRegion(){
  unsigned __int8 CurrentIrql; 
  UINT64 v1; 

  if( (MmVerifierData & 2) != 0 && (MmVerifierData & 0x20000) == 0 )
  {
    CurrentIrql = KeGetCurrentIrql();
    if( CurrentIrql > 1u )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x11Bu, CurrentIrql, 0, 0, v1);
  }
  if( (MmVerifierData & 2) != 0 && KeGetCurrentThread()->KernelApcDisable > 0 )
    VerifierBugCheckIfAppropriate(0xC4ui64, 0x3Eu, 0, 0, 0, v1);
  if( (MmVerifierData & 0x400000) == 0 || (VfFlightOptions & 0x21) != 0 )
    ViKeLogCriticalRegionStackTrace();
  ((void(*)(void))pXdvKeLeaveCriticalRegion)();
}

Referenced by: