hrt_freq_count
uint64_t hrt_freq_count(hrtime_t interval, uint32_t freq);
return (hrt_freq_count(delta, PIT_8254_FREQ));
hrt_freq_count(now - c->time_target, PIT_8254_FREQ);
val += hrt_freq_count(delta, HPET_FREQ);
const uint32_t ccr = hrt_freq_count(
ccr += hrt_freq_count(vlapic->timer_fire_when - now,
*val = hrt_freq_count(delta, PMTMR_FREQ);