tag	line	file	source code
do_gettimeofday	140	arch/alpha/kernel/time.c	void do_gettimeofday(struct timeval *tv)
do_gettimeofday	143	arch/i386/kernel/time.c	void do_gettimeofday(struct timeval *tv)