ssb_chipco_watchdog_timer_set_ms   45 drivers/ssb/embedded.c 		wdt.timer_set_ms = ssb_chipco_watchdog_timer_set_ms;
ssb_chipco_watchdog_timer_set_ms  198 drivers/ssb/ssb_private.h extern u32 ssb_chipco_watchdog_timer_set_ms(struct bcm47xx_wdt *wdt, u32 ms);