ssb_chipco_watchdog_timer_set_wdt   44 drivers/ssb/embedded.c 		wdt.timer_set = ssb_chipco_watchdog_timer_set_wdt;
ssb_chipco_watchdog_timer_set_wdt  196 drivers/ssb/ssb_private.h extern u32 ssb_chipco_watchdog_timer_set_wdt(struct bcm47xx_wdt *wdt,