tvtohz_high
to = tvtohz_high(&tv) / TPM_LEGACY_SLEEP;
to = tvtohz_high(&tv) / TPM_LEGACY_SLEEP;
return tvtohz_high(&tv);
hz = tvtohz_high(&t);
callout_reset(&sc->softcallout, tvtohz_high(&sc->idletimeout),
tvtohz_high(&sc->idletimeout)));
tticks = tvtohz_high(&tv);
tvtohz_high(&aitv.it_value), realitexpire, p);
return tvtohz_high(&tv); /* XXX Why _high() and not _low() ? */
callout_reset(&pcpu->timo_ch, tvtohz_high(&atv), in_rtqtimo, NULL);
callout_reset(&sc->sc_ad_tmo, tvtohz_high(&tv),
callout_reset(&sc->sc_ad_tmo, tvtohz_high(&tv),
callout_reset(&sc->sc_ad_tmo, tvtohz_high(&tv),
callout_reset(&sc->sc_md_tmo, tvtohz_high(&tv),
callout_reset(&sc->sc_md6_tmo, tvtohz_high(&tv),
callout_reset(&sc->sc_md_tmo, tvtohz_high(&tv),
callout_reset(&sc->sc_md6_tmo, tvtohz_high(&tv),
callout_reset(&sc->sc_ad_tmo, tvtohz_high(&tv),
callout_reset(&ctx->timo_ch, tvtohz_high(&atv), in6_rtqtimo, NULL);
callout_reset(&ctx->timo_ch, tvtohz_high(&atv), in6_mtutimo, NULL);
int tvtohz_high(struct timeval *);
tsleep(&flags, 0, "fix95", tvtohz_high(&tv));