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