VerifierKeReleaseQueuedSpinLock

VOID __stdcall VerifierKeReleaseQueuedSpinLock(ULONG_PTR Number, UINT8 OldIrql, UINT64 a3){
  __int64 v4; 
  UINT8 CurrentIrql; 
  _VI_TRACK_IRQL *v6; 
  __int64 v7; 
  UINT64 v8; 

  v4 = *(_QWORD *)&Number;
  CurrentIrql = KeGetCurrentIrql();
  if( (_DWORD)KernelVerifier && (MmVerifierData & 0x800) != 0 && CurrentIrql < 2u )
    VerifierBugCheckIfAppropriate(0xC4ui64, 0x36u, CurrentIrql, Number, OldIrql, v8);
  v6 = ViKeLowerIrqlSanityChecks(CurrentIrql, OldIrql);
  LOBYTE(v7) = OldIrql;
  ((void(__fastcall *)(__int64, __int64))pXdvKeReleaseQueuedSpinLock)(v4, v7);
  ViKeIrqlLogCommon(v6, 1ui64);
}

Referenced by: