Lines Matching full:print_hz_timer
486 const char *print_hz_timer(int timeout)1255 print_hz_timer(s.timeout),
