tag	line	file	source code
time_init	87	arch/alpha/kernel/time.c	void time_init(void)
time_init	87	arch/i386/kernel/time.c	void time_init(void)