ViKeReleaseSpinLockCommon

UINT64 __stdcall ViKeReleaseSpinLockCommon(UINT64 Tag){
  UINT8 v1; 
  UINT8 v2; 
  UINT8 CurrentIrql; 
  UINT64 v6; 
  v2 = v1;
  VfUtilCheckKernelAddress((PVOID)Tag, 8ui64);
  CurrentIrql = KeGetCurrentIrql();
  if( (MmVerifierData & 2) != 0 && CurrentIrql < 2u )
    VerifierBugCheckIfAppropriate(0xC4ui64, 0x32ui64, CurrentIrql, Tag, 0i64, v6);
  return(UINT64)ViKeLowerIrqlSanityChecks(CurrentIrql, v2);
}

Referenced by: