taglinefilesource code
setup_arch419init/main.cextern void setup_arch(char **, unsigned long *, unsigned long *);
setup_arch493init/main.csetup_arch(&command_line, &memory_start, &memory_end);