VOID __fastcall VerifierPortKeReleaseSpinLockNoXdv(UINT64 *SpinLock, UINT8 NewIrql, VOID *CallerAddress){
unsigned __int64 v3;
INT64 v5;
v3 = NewIrql;
v5 = ViKeReleaseSpinLockCommon((UINT64)SpinLock);
KxReleaseSpinLock(SpinLock);
__writecr8(v3);
ViKeIrqlLogCommon(v5, 1ui64);
}