ViKeLowerIrqlSanityChecks

_VI_TRACK_IRQL *__stdcall ViKeLowerIrqlSanityChecks(UINT8 CurrentIrql, UINT8 NewIrql){
  ULONG_PTR v2; 
  ULONG_PTR v3; 
  UINT64 v5; 

  v2 = NewIrql;
  v3 = CurrentIrql;
  if( (MmVerifierData & 2) != 0 )
  {
    if( CurrentIrql < NewIrql )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x31u, CurrentIrql, NewIrql, 0, v5);
    if( (unsigned __int8)v3 >= 2u && (unsigned __int8)v2 < 2u && (KeGetPcr()->Prcb.DpcRequestSummary & 1) != 0 )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x31u, v3, v2, 1u, v5);
    if( (unsigned __int8)v2 > 0xFu )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x31u, v3, v2, 0, v5);
  }
  return VfKeIrqlTransitionReserveLogEntry(v3, v2);
}

Referenced by:

VerifierKeLowerIrql
VerifierKeReleaseInStackQueuedSpinLockCommon
VerifierKeReleaseQueuedSpinLock
ViKeReleaseSpinLockCommon