tag	line	file	source code
do_timer	40	arch/alpha/kernel/time.c	do_timer(regs);
do_timer	249	arch/i386/kernel/time.c	do_timer(regs);
do_timer	300	include/linux/sched.h	extern void do_timer(struct pt_regs *);