VOID __stdcall VerifierPortKeReleaseSpinLock(UINT64 *SpinLock, UINT8 NewIrql, PVOID CallerAddress){
INT64 v5;
__int64 v6;
v5 = ViKeReleaseSpinLockCommon((UINT64)SpinLock);
LOBYTE(v6) = NewIrql;
((void(__fastcall *)(UINT64 *, __int64))pXdvKeReleaseSpinLock)(SpinLock, v6);
ViKeIrqlLogCommon(v5, 1ui64);
}