VerifierKeAcquireInStackQueuedSpinLockAtDpcLevelCommon

VOID __stdcall VerifierKeAcquireInStackQueuedSpinLockAtDpcLevelCommon(
        ULONG_PTR SpinLock,
        VOID *CallerAddress,
        ULONG_PTR LockHandle){
  VOID *v3; 
  VOID *v4; 
  _BYTE *v5; 
  CHAR v6; 
  unsigned __int8 CurrentIrql; 
  char v8; 
  UINT64 v9; 

  v3 = *(VOID **)&LockHandle;
  v4 = *(VOID **)&SpinLock;
  ++dword_140C2A628;
  if( (MmVerifierData & 0x1000) != 0 )
    ViTargetIncrementCounter(CallerAddress, 0x9Cui64);
  VfUtilCheckKernelAddress(v4, 8u);
  VfUtilCheckKernelAddress(v3, 0x18u);
  CurrentIrql = KeGetCurrentIrql();
  if( (MmVerifierData & 2) != 0 && CurrentIrql < 2u )
  {
    KeAreInterruptsEnabled(v6, v5);
    if( v8 )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x40u, CurrentIrql, (ULONG_PTR)v3, 0, v9);
  }
  ((void(__fastcall *)(VOID *, VOID *))pXdvKeAcquireInStackQueuedSpinLockAtDpcLevel)(v4, v3);
}

Referenced by: