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