Lines Matching defs:hz
488 int hz = get_user_hz();489 return print_ms_timer(((timeout*1000) + hz-1)/hz);1260 int hz = get_user_hz();1261 if (s.rto && s.rto != 3*hz)1262 printf(" rto:%g", (double)s.rto/hz);1264 printf(" ato:%g", (double)s.ato/hz);