ViKeAcquireSpinLockAtDpcLevelCommon

VOID __fastcall ViKeAcquireSpinLockAtDpcLevelCommon(UINT64 *SpinLock, VOID *CallerAddress){
  _BYTE *v3; 
  CHAR v4; 
  unsigned __int8 CurrentIrql; 
  char v6; 
  UINT64 v7; 
  ++dword_140C2A628;
  if( (MmVerifierData & 0x1000) != 0 )
    ViTargetIncrementCounter(CallerAddress, 0x9Cui64);
  VfUtilCheckKernelAddress(SpinLock, 8ui64);
  if( (MmVerifierData & 2) != 0 )
  {
    CurrentIrql = KeGetCurrentIrql();
    if( CurrentIrql < 2u )
    {
      KeAreInterruptsEnabled(v4, v3);
      if( v6 )
        VerifierBugCheckIfAppropriate(0xC4ui64, 0x40ui64, CurrentIrql, (UINT64)SpinLock, 0i64, v7);
    }
  }
  ((void(__fastcall *)(UINT64 *))pXdvKeAcquireSpinLockAtDpcLevel)(SpinLock);
}

Referenced by: