ticks_hz_list4   1187 src/timefns.c  	  : ticks_hz_list4 (ticks, hz));
ticks_hz_list4   1773 src/timefns.c      return ticks_hz_list4 (t.ticks, t.hz);