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