VerifierKeReleaseSpinLockFromDpcLevel

VOID __stdcall VerifierKeReleaseSpinLockFromDpcLevel(UINT64 *SpinLock){
  _BYTE *v2; 
  CHAR v3; 
  unsigned __int8 CurrentIrql; 
  char v5; 
  UINT64 v6; 
  VOID *retaddr; 
  VfUtilCheckKernelAddress(SpinLock, 8ui64);
  CurrentIrql = KeGetCurrentIrql();
  if( (MmVerifierData & 0x800) != 0 && CurrentIrql < 2u )
  {
    KeAreInterruptsEnabled(v3, v2);
    if( v5 )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x41ui64, CurrentIrql, (UINT64)SpinLock, 0i64, v6);
  }
  VfDeadlockReleaseResource(SpinLock, VfDeadlockSpinLock, KeGetCurrentThread(), retaddr);
  ((void(__fastcall *)(UINT64 *))pXdvKeReleaseSpinLockFromDpcLevel)(SpinLock);
}

Referenced by: