Searched refs:machclk_freq (Results 1 – 4 of 4) sorted by relevance
56 u_int32_t machclk_freq = 0; variable71 if (machclk_freq == 0) { in pktsched_init()84 machclk_freq = (uint32_t)gPEClockFrequencyInfo.timebase_frequency_hz; in init_machclk()117 VERIFY(machclk_freq != 0); in pktsched_setup()
153 u_int32_t machclk_freq; member
163 extern uint32_t machclk_freq;
666 VERIFY(machclk_freq != 0); in ifclassq_tbr_set()725 tbr->tbr_rate = TBR_SCALE(rate / 8) / machclk_freq; in ifclassq_tbr_set()