tag	line	file	source code
setup_arch	77	arch/alpha/kernel/setup.c	void setup_arch(char **cmdline_p,
setup_arch	77	arch/i386/kernel/setup.c	void setup_arch(char **cmdline_p,