wdt_timer_tick     70 drivers/watchdog/via_wdt.c static void wdt_timer_tick(struct timer_list *unused);
wdt_timer_tick     71 drivers/watchdog/via_wdt.c static DEFINE_TIMER(timer, wdt_timer_tick);