tag	line	file	source code
setup_arch	580	init/main.c	extern void setup_arch(char **, unsigned long *, unsigned long *);
setup_arch	687	init/main.c	setup_arch(&command_line, &memory_start, &memory_end);