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, 0x32ui64, CurrentIrql, (UINT64)LockHandle, 0i64, v5);
  }
  ((void(__fastcall *)(KLOCK_QUEUE_HANDLE *))pXdvKeReleaseInStackQueuedSpinLockForDpc)(LockHandle);
}

Referenced by: