hrt_freq_interval
hrtime_t hrt_freq_interval(uint32_t freq, uint64_t count);
hrt_freq_interval(PIT_8254_FREQ, c->total_target);
hrt_freq_interval(PIT_8254_FREQ, c->total_target);
hrt_freq_interval(PIT_8254_FREQ, out->initial);
const hrtime_t delta = hrt_freq_interval(HPET_FREQ,
hrt_freq_interval(vlapic->timer_cur_freq, lapic->icr_timer);
vlapic->timer_period = hrt_freq_interval(vlapic->timer_cur_freq,