VOID __stdcall VerifierKeReleaseSpinLock(UINT64 *SpinLock, UINT8 NewIrql){
INT64 v4;
__int64 v5;
VOID *retaddr;
v4 = ViKeReleaseSpinLockCommon((UINT64)SpinLock);
VfDeadlockReleaseResource(SpinLock, VfDeadlockSpinLock, KeGetCurrentThread(), retaddr);
LOBYTE(v5) = NewIrql;
((void(__fastcall *)(UINT64 *, __int64))pXdvKeReleaseSpinLock)(SpinLock, v5);
ViKeIrqlLogCommon(v4, 1ui64);
}