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