bcm63xx_timer_tick   94 drivers/watchdog/bcm63xx_wdt.c 	bcm63xx_timer_tick(0);
bcm63xx_timer_tick  240 drivers/watchdog/bcm63xx_wdt.c 	timer_setup(&bcm63xx_wdt_device.timer, bcm63xx_timer_tick, 0);