VerifierKeReleaseQueuedSpinLock

void __fastcall VerifierKeReleaseQueuedSpinLock(ULONG_PTR BugCheckParameter3, unsigned __int8 a2){
  UINT8 CurrentIrql; 
  CHAR *v5; 
  __int64 v6; 
  UINT64 v7; 
  CurrentIrql = KeGetCurrentIrql();
  if( (_DWORD)KernelVerifier && (MmVerifierData & 0x800) != 0 && CurrentIrql < 2u )
    VerifierBugCheckIfAppropriate(0xC4ui64, 0x36ui64, CurrentIrql, BugCheckParameter3, a2, v7);
  v5 = ViKeLowerIrqlSanityChecks(CurrentIrql, a2);
  LOBYTE(v6) = a2;
  ((void(__fastcall *)(ULONG_PTR, __int64))pXdvKeReleaseQueuedSpinLock)(BugCheckParameter3, v6);
  ViKeIrqlLogCommon((INT64)v5, 1ui64);
}

Referenced by: