VerifierKeAcquireInStackQueuedSpinLockAtDpcLevelCommon

VOID __stdcall VerifierKeAcquireInStackQueuedSpinLockAtDpcLevelCommon(
        UINT64 *SpinLock,
        PVOID CallerAddress,
        KLOCK_QUEUE_HANDLE *LockHandle){
  _BYTE *v5; 
  CHAR v6; 
  unsigned __int8 CurrentIrql; 
  char v8; 
  UINT64 v9; 
  ++dword_140C2A628;
  if( (MmVerifierData & 0x1000) != 0 )
    ViTargetIncrementCounter(CallerAddress, 0x9Cui64);
  VfUtilCheckKernelAddress(SpinLock, 8ui64);
  VfUtilCheckKernelAddress(LockHandle, 0x18ui64);
  CurrentIrql = KeGetCurrentIrql();
  if( (MmVerifierData & 2) != 0 && CurrentIrql < 2u )
  {
    KeAreInterruptsEnabled(v6, v5);
    if( v8 )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x40ui64, CurrentIrql, (UINT64)LockHandle, 0i64, v9);
  }
  ((void(__fastcall *)(UINT64 *, KLOCK_QUEUE_HANDLE *))pXdvKeAcquireInStackQueuedSpinLockAtDpcLevel)(
    SpinLock,
    LockHandle);
}

Referenced by:

VerifierKeAcquireInStackQueuedSpinLockAtDpcLevel
VerifierKeAcquireInStackQueuedSpinLockAtDpcLevelNoReboot