cpu_init();  
void __init setup_arch(char **cmdline_p){	struct tag *tags = (struct tag *)&init_tags;	struct machine_desc *mdesc;	char *from = default_command_line;	setup_processor();	mdesc = setup_machine(machine_arch_type);	machine_name = mdesc->name;	if (mdesc->soft_reboot)		reboot_setup("s");	if (mdesc->param_offset)		tags = phys_to_virt(mdesc->param_offset);	/*	 * If we have the old style parameters, convert them to	 * a tag list.	 */	if (tags->hdr.tag != ATAG_CORE)		convert_to_tag_list(tags);	if (tags->hdr.tag != ATAG_CORE)		tags = (struct tag *)&init_tags;	if (mdesc->fixup)		mdesc->fixup(mdesc, tags, &from, &meminfo);	if (tags->hdr.tag == ATAG_CORE) {		if (meminfo.nr_banks != 0)			squash_mem_tags(tags);		parse_tags(tags);	}	init_mm.start_code = (unsigned long) &_text;	init_mm.end_code   = (unsigned long) &_etext;	init_mm.end_data   = (unsigned long) &_edata;	init_mm.brk	   = (unsigned long) &_end;	memcpy(saved_command_line, from, COMMAND_LINE_SIZE);	saved_command_line[COMMAND_LINE_SIZE-1] = '\0';	parse_cmdline(cmdline_p, from);	paging_init(&meminfo, mdesc);	request_standard_resources(&meminfo, mdesc);	/*	 * Set up various architecture-specific pointers	 */	init_arch_irq = mdesc->init_irq;	system_timer = mdesc->timer;	init_machine = mdesc->init_machine;#ifdef CONFIG_VT#if defined(CONFIG_VGA_CONSOLE)	conswitchp = &vga_con;#elif defined(CONFIG_DUMMY_CONSOLE)	conswitchp = &dummy_con;#endif#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ccea7a19e54349d4f40778304e1bb88da83d39e7/setup.c/clean/arch/arm/kernel/setup.c