VerifierKeReleaseInStackQueuedSpinLockCommon

VOID __stdcall VerifierKeReleaseInStackQueuedSpinLockCommon(KLOCK_QUEUE_HANDLE *LockHandle){
  UINT8 CurrentIrql; 
  CHAR *v3; 
  UINT64 v4; 
  CurrentIrql = KeGetCurrentIrql();
  if( (MmVerifierData & 2) != 0 && CurrentIrql < 2u )
    VerifierBugCheckIfAppropriate(0xC4ui64, 0x32ui64, CurrentIrql, (UINT64)LockHandle, 0i64, v4);
  v3 = ViKeLowerIrqlSanityChecks(CurrentIrql, LockHandle->OldIrql);
  ((void(__fastcall *)(KLOCK_QUEUE_HANDLE *))pXdvKeReleaseInStackQueuedSpinLock)(LockHandle);
  ViKeIrqlLogCommon((INT64)v3, 1ui64);
}

Referenced by: