#if CONFIG_PCI 
#ifdef CONFIG_PCI 
void __init setup_arch(char **cmdline_p){	extern int mem_reserve(unsigned long, unsigned long, int);	extern void bootmem_init(void);	memcpy(saved_command_line, command_line, COMMAND_LINE_SIZE);	saved_command_line[COMMAND_LINE_SIZE-1] = '\0';	*cmdline_p = command_line;	/* Reserve some memory regions */#ifdef CONFIG_BLK_DEV_INITRD	if (initrd_start < initrd_end) {		initrd_is_mapped = mem_reserve(__pa(initrd_start),					       __pa(initrd_end), 0);		initrd_below_start_ok = 1; 	} else {		initrd_start = 0;	}#endif	mem_reserve(__pa(&_stext),__pa(&_end), 1);	mem_reserve(__pa(&_WindowVectors_text_start),		    __pa(&_WindowVectors_text_end), 0);	mem_reserve(__pa(&_DebugInterruptVector_literal_start),		    __pa(&_DebugInterruptVector_text_end), 0);	mem_reserve(__pa(&_KernelExceptionVector_literal_start),		    __pa(&_KernelExceptionVector_text_end), 0);	mem_reserve(__pa(&_UserExceptionVector_literal_start),		    __pa(&_UserExceptionVector_text_end), 0);	mem_reserve(__pa(&_DoubleExceptionVector_literal_start),		    __pa(&_DoubleExceptionVector_text_end), 0);	bootmem_init();	platform_setup(cmdline_p);	paging_init();#ifdef CONFIG_VT# if defined(CONFIG_VGA_CONSOLE)	conswitchp = &vga_con;# elif defined(CONFIG_DUMMY_CONSOLE)	conswitchp = &dummy_con;# endif#endif#if CONFIG_PCI	platform_pcibios_init();#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/288a60cf4d7cc35f84f46cd8ffd0b34f9d8e7346/setup.c/buggy/arch/xtensa/kernel/setup.c