do_timer         1729 include/linux/sched.h extern void do_timer(unsigned long ticks);
do_timer           68 kernel/time/tick-common.c 		do_timer(1);
do_timer           78 kernel/time/tick-sched.c 		do_timer(++ticks);