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);