ssb_extif_watchdog_timer_set_wdt   49 drivers/ssb/embedded.c 		wdt.timer_set = ssb_extif_watchdog_timer_set_wdt;
ssb_extif_watchdog_timer_set_wdt  220 drivers/ssb/ssb_private.h extern u32 ssb_extif_watchdog_timer_set_wdt(struct bcm47xx_wdt *wdt, u32 ticks);