ssb_chipco_watchdog_timer_set_ms
wdt.timer_set_ms = ssb_chipco_watchdog_timer_set_ms;
extern u32 ssb_chipco_watchdog_timer_set_ms(struct bcm47xx_wdt *wdt, u32 ms);