VOID __stdcall VerifierPortKeReleaseSpinLockNoXdv(
VOID *SpinLock,
UINT8 NewIrql,
VOID *CallerAddress,
INT64 a4,
INT64 a5,
INT64 a6){
unsigned __int64 v6;
_VI_TRACK_IRQL *v8;
v6 = NewIrql;
v8 = ViKeReleaseSpinLockCommon((ULONG_PTR)SpinLock, NewIrql);
KxReleaseSpinLock((UINT64 *)SpinLock);
__writecr8(v6);
ViKeIrqlLogCommon(v8, 1ui64);
}