VOID __stdcall VerifierPortKeAcquireSpinLockNoXdv(UINT64 *SpinLock, UINT8 *OldIrql, VOID *CallerAddress){
UINT64 v5;
_VI_TRACK_IRQL *v6;
++dword_140C2A628;
if( (MmVerifierData & 0x1000) != 0 )
ViTargetIncrementCounter(CallerAddress, 0x9Cui64);
VfUtilCheckKernelAddress(SpinLock, 8u);
v6 = ViKeRaiseIrqlSanityChecks(2u, 0i64, v5);
*OldIrql = KeAcquireSpinLockRaiseToDpc(SpinLock);
if( v6 )
v6->Processor = KeGetPcr()->Prcb.Number;
}