VerifierKeReleaseInStackQueuedSpinLockCommon

VOID __stdcall VerifierKeReleaseInStackQueuedSpinLockCommon(_KLOCK_QUEUE_HANDLE *LockHandle){
  UINT8 CurrentIrql; 
  _VI_TRACK_IRQL *v3; 
  UINT64 v4; 

  CurrentIrql = KeGetCurrentIrql();
  if( (MmVerifierData & 2) != 0 && CurrentIrql < 2u )
    VerifierBugCheckIfAppropriate(0xC4ui64, 0x32u, CurrentIrql, (ULONG_PTR)LockHandle, 0, v4);
  v3 = ViKeLowerIrqlSanityChecks(CurrentIrql, LockHandle->OldIrql);
  ((void(__fastcall *)(_KLOCK_QUEUE_HANDLE *))pXdvKeReleaseInStackQueuedSpinLock)(LockHandle);
  ViKeIrqlLogCommon(v3, 1ui64);
}

Referenced by:

VerifierKeReleaseInStackQueuedSpinLock
VerifierKeReleaseInStackQueuedSpinLockNoReboot