Searched refs:machclk_freq (Results 1 – 4 of 4) sorted by relevance
153 u_int32_t machclk_freq; member
62 u_int32_t machclk_freq = 0; variable77 if (machclk_freq == 0) { in pktsched_init()91 machclk_freq = (uint32_t)gPEClockFrequencyInfo.timebase_frequency_hz; in init_machclk()124 VERIFY(machclk_freq != 0); in pktsched_setup()
177 extern uint32_t machclk_freq;
716 VERIFY(machclk_freq != 0); in ifclassq_tbr_set()775 tbr->tbr_rate = TBR_SCALE(rate / 8) / machclk_freq; in ifclassq_tbr_set()