VerifierKeReleaseSpinLockFromDpcLevelNoReboot

VOID __stdcall VerifierKeReleaseSpinLockFromDpcLevelNoReboot(UINT64 *SpinLock){
  _BYTE *v2; 
  CHAR v3; 
  unsigned __int8 CurrentIrql; 
  char v5; 
  UINT64 v6; 

  VfUtilCheckKernelAddress(SpinLock, 8u);
  CurrentIrql = KeGetCurrentIrql();
  if( (MmVerifierData & 2) != 0 && CurrentIrql < 2u )
  {
    KeAreInterruptsEnabled(v3, v2);
    if( v5 )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x41u, CurrentIrql, (ULONG_PTR)SpinLock, 0, v6);
  }
  ((void(__fastcall *)(UINT64 *))pXdvKeReleaseSpinLockFromDpcLevel)(SpinLock);
}

Referenced by: