VerifierKeReleaseInStackQueuedSpinLockForDpcCommon

VOID __stdcall VerifierKeReleaseInStackQueuedSpinLockForDpcCommon(_KLOCK_QUEUE_HANDLE *LockHandle){
  _BYTE *v1; 
  unsigned __int8 CurrentIrql; 
  char v4; 
  UINT64 v5; 

  CurrentIrql = KeGetCurrentIrql();
  if( (MmVerifierData & 2) != 0 && CurrentIrql < 2u )
  {
    KeAreInterruptsEnabled((CHAR)LockHandle, v1);
    if( v4 )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x32u, CurrentIrql, (ULONG_PTR)LockHandle, 0, v5);
  }
  ((void(__fastcall *)(_KLOCK_QUEUE_HANDLE *))pXdvKeReleaseInStackQueuedSpinLockForDpc)(LockHandle);
}

Referenced by: