Function SetTimerResolution

kernel/oswrapper/timer.cc:22–25

STATIC_VAR double mintime = 0.5;

void SetTimerResolution(int res)
{
  timer_resolution = (double) res;
}

void SetMinDisplayTime(double mtime)
{