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