tvtohz
return tvtohz(&t2);
return tvtohz(&tv);
to = tvtohz(&tv);
return tvtohz(&tv);
callout_schedule(&sc->sc_rngto, MAX(1, tvtohz(&wait)));
timo = tvtohz(&tv);
callout_schedule(&sc->led_to, tvtohz(&t));
return tvtohz(&tv);
return tvtohz(&tv);
callout_schedule(&sc->sc_ad_tmo, tvtohz(&tv));
callout_schedule(&sc->sc_md_tmo, tvtohz(&tv));
callout_schedule(&sc->sc_md6_tmo, tvtohz(&tv));
callout_schedule(&sc->sc_md_tmo, tvtohz(&tv));
callout_schedule(&sc->sc_md6_tmo, tvtohz(&tv));
callout_schedule(&sc->sc_ad_tmo, tvtohz(&tv));
int tvtohz(const struct timeval *);
timeout = tvtohz(tv);
ATF_TC(tvtohz);
ATF_TC_HEAD(tvtohz, tc)
ATF_TC_BODY(tvtohz, tc)
ticks = tvtohz(&tv->tv_tv);
ATF_TP_ADD_TC(tp, tvtohz);