Searched refs:timer_max (Results 1 – 2 of 2) sorted by relevance
105 P1B_SYSCTL(CTL_P1003_1B_TIMER_MAX, timer_max);
716 int timer_max = M_TIMERVALUE0 * 1000 / sc->params.vpd.cclk; in t4_tweak_chip_settings() local762 KASSERT(intr_timer[0] <= timer_max, in t4_tweak_chip_settings()764 timer_max)); in t4_tweak_chip_settings()770 while (intr_timer[i] > timer_max) { in t4_tweak_chip_settings()772 intr_timer[i] = timer_max; in t4_tweak_chip_settings()