HalpTimerMarkWake

VOID __stdcall HalpTimerMarkWake(){
  if( !KeGetPcr()->Prcb.Number )
    HalpTscOnWake = __rdtsc();
}

Referenced by: