Searched refs:machclk_freq (Results 1 – 4 of 4) sorted by relevance
153 u_int32_t machclk_freq; member
63 u_int32_t machclk_freq = 0; variable167 if (machclk_freq == 0) { in pktsched_init()182 machclk_freq = (uint32_t)gPEClockFrequencyInfo.timebase_frequency_hz; in init_machclk()216 VERIFY(machclk_freq != 0); in pktsched_setup()
178 extern uint32_t machclk_freq;
735 VERIFY(machclk_freq != 0); in ifclassq_tbr_set_locked()794 tbr->tbr_rate = TBR_SCALE(rate / 8) / machclk_freq; in ifclassq_tbr_set_locked()