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