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);
