HalpTimerInitializeVpptClockTimer

INT64 __stdcall HalpTimerInitializeVpptClockTimer(){
  INT64 result; 
  result = HalpClockTimer;
  if( *(_DWORD *)(HalpClockTimer + 228) == 12 )
    return HalpVpptInitializePhysicalTimer();
  return result;
}

Referenced by:

HalpAcpiPostSleep