bcm47xx_wdt_soft_timer_tick  133 drivers/watchdog/bcm47xx_wdt.c 	bcm47xx_wdt_soft_timer_tick(&wdt->soft_timer);
bcm47xx_wdt_soft_timer_tick  190 drivers/watchdog/bcm47xx_wdt.c 		timer_setup(&wdt->soft_timer, bcm47xx_wdt_soft_timer_tick, 0);