ssb_chipco_watchdog_get_max_timer
cc->max_timer_ms = ssb_chipco_watchdog_get_max_timer(cc) / cc->ticks_per_ms;
maxt = ssb_chipco_watchdog_get_max_timer(cc);