ViKeReleaseSpinLockCommon

_VI_TRACK_IRQL *__stdcall ViKeReleaseSpinLockCommon(ULONG_PTR SpinLock, UINT8 NewIrql){
  UINT8 CurrentIrql; 
  UINT64 v6; 

  VfUtilCheckKernelAddress(*(VOID **)&SpinLock, 8u);
  CurrentIrql = KeGetCurrentIrql();
  if( (MmVerifierData & 2) != 0 && CurrentIrql < 2u )
    VerifierBugCheckIfAppropriate(0xC4ui64, 0x32u, CurrentIrql, SpinLock, 0, v6);
  return ViKeLowerIrqlSanityChecks(CurrentIrql, NewIrql);
}

Referenced by: