VOID __stdcall VerifierPortKeReleaseSpinLock(ULONG_PTR SpinLock, UINT8 NewIrql, VOID *CallerAddress){
__int64 v4;
_VI_TRACK_IRQL *v5;
__int64 v6;
v4 = *(_QWORD *)&SpinLock;
v5 = ViKeReleaseSpinLockCommon(SpinLock, NewIrql);
LOBYTE(v6) = NewIrql;
((void(__fastcall *)(__int64, __int64))pXdvKeReleaseSpinLock)(v4, v6);
ViKeIrqlLogCommon(v5, 1ui64);
}