Symbol: bcma_chipco_watchdog_get_max_timer
drivers/bcma/driver_chipcommon.c
129
bcma_chipco_watchdog_get_max_timer(cc) / cc->ticks_per_ms;
drivers/bcma/driver_chipcommon.c
240
maxt = bcma_chipco_watchdog_get_max_timer(cc);