Lines Matching refs:hz
480 int hz = get_user_hz();
481 return print_ms_timer(((timeout*1000) + hz-1)/hz);
1251 int hz = get_user_hz();
1252 if (s.rto && s.rto != 3*hz)
1253 printf(" rto:%g", (double)s.rto/hz);
1255 printf(" ato:%g", (double)s.ato/hz);
