HalpTimerMarkWake

INT64 __stdcall HalpTimerMarkWake(){
  INT64 result; 
  LODWORD(result) = *((_DWORD *)KeGetPcr() + 105);
  if( !(_DWORD)result )
  {
    result = __rdtsc();
    HalpTscOnWake = result;
  }
  return result;
}

Referenced by:

HalpPostSleepMP