ViKeIrqlLogCommon

VOID __fastcall ViKeIrqlLogCommon(INT64 a1, UINT64 a2){
  PVOID *v2; 
  UINT16 v4; 
  if( a1 )
  {
    v2 = (PVOID *)(a1 + 16);
    *(_QWORD *)a1 = KeGetCurrentThread();
    *(_DWORD *)(a1 + 12) = KUSER_SHARED_DATA.TickCount.LowPart;
    if( (VfOptionFlags & 0x40) != 0 )
    {
      *v2 = 0i64;
    }
    else
    {
      v4 = RtlCaptureStackBackTrace((unsigned int)a2, 5ui64, v2, 0i64);
      if( v4 < 5u )
        *(_QWORD *)(a1 + 8i64 * v4 + 16) = 0i64;
    }
  }
}

Referenced by:

VerifierExAcquireFastMutex
VerifierExAcquireFastMutexNoReboot
VerifierExReleaseFastMutex
VerifierKeLowerIrql
VerifierKeReleaseInStackQueuedSpinLockCommon
VerifierKeReleaseQueuedSpinLock
VerifierKeReleaseSpinLock
VerifierPortKeReleaseSpinLock
VerifierPortKeReleaseSpinLockNoXdv
ViExTryToAcquireFastMutexCommon
ViKeRaiseIrqlSanityChecks