timer_tick         66 arch/arm/kernel/time.c void timer_tick(void)
timer_tick        153 drivers/staging/isdn/gigaset/common.c static void timer_tick(struct timer_list *t)