RtlWriteReleaseTickLock

INT64 __fastcall RtlWriteReleaseTickLock(INT64 *a1){
  INT64 result; 
  result = *a1 + 1;
  *a1 = result;
  return result;
}

Referenced by:

KiCalibrateTimeAdjustment
KiCreateCpuSetForProcessor