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