ViResourceReleaseSanityChecks

VOID __stdcall ViResourceReleaseSanityChecks(_ERESOURCE *Resource){
  unsigned __int8 CurrentIrql; 
  UINT64 v2; 

  CurrentIrql = KeGetCurrentIrql();
  if( CurrentIrql != 1
    && (KeGetCurrentThread()->$66B5187701DB455CD8F8862345C5A268::$BF47041B248301F87E570BEB78208C5A::_bf_0 & 0x400) == 0
    && !KeGetCurrentThread()->WaitBlock[3].SpareLong
    && CurrentIrql != 2
    && (MmVerifierData & 0x800) != 0 )
  {
    VerifierBugCheckIfAppropriate(
      0xC4ui64,
      0x38u,
      CurrentIrql,
      KeGetCurrentThread()->CombinedApcDisable,
      (ULONG_PTR)Resource,
      v2);
  }
}

Referenced by:

VerifierExReleaseResourceAndLeaveCriticalRegion
VerifierExReleaseResourceAndLeaveCriticalRegionNoReboot
VerifierExReleaseResourceAndLeavePriorityRegion
VerifierExReleaseResourceForThreadLiteNoReboot
VerifierExReleaseResourceLiteNoReboot