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