RtlWriteAcquireTickLock

signed __int64 __fastcall RtlWriteAcquireTickLock(signed __int64 *a1){
  signed __int64 result; 
  signed __int64 v2; 

  _m_prefetchw(a1);
  result = *a1;
  while( (result & 1) != 0 )
  {
    result = *a1;
LABEL_6:
    _mm_pause();
  }
  v2 = result;
  result = _InterlockedCompareExchange64(a1, result + 1, result);
  if( v2 != result )
    goto LABEL_6;
  return result;
}

Referenced by:

KeCpuSetReportParkedProcessors
KeSetSystemAllowedCpuSets
KeSetTagCpuSets
KiCalibrateTimeAdjustment
KiConfigureCpuSetSchedulingInformation
KiCreateCpuSetForProcessor
KiUpdateSystemTime
KiUpdateTimeAssist