/* Select the correct idle loop for the platform. */ idle_setup(); 
/* Use the default idle loop if the platform hasn't provided one. */ if (NULL == ppc_md.idle_loop) ppc_md.idle_loop = default_idle; 
void __init setup_arch(char **cmdline_p){	extern void do_init_bootmem(void);	ppc64_boot_msg(0x12, "Setup Arch");	*cmdline_p = cmd_line;	/*	 * Set cache line size based on type of cpu as a default.	 * Systems with OF can look in the properties on the cpu node(s)	 * for a possibly more accurate value.	 */	dcache_bsize = ppc64_caches.dline_size;	icache_bsize = ppc64_caches.iline_size;	/* reboot on panic */	panic_timeout = 180;	if (ppc_md.panic)		notifier_chain_register(&panic_notifier_list, &ppc64_panic_block);	init_mm.start_code = PAGE_OFFSET;	init_mm.end_code = (unsigned long) _etext;	init_mm.end_data = (unsigned long) _edata;	init_mm.brk = klimit;		irqstack_early_init();	emergency_stack_init();	/* set up the bootmem stuff with available memory */	do_init_bootmem();	sparse_init();	/* initialize the syscall map in systemcfg */	setup_syscall_map();	ppc_md.setup_arch();	/* Select the correct idle loop for the platform. */	idle_setup();	paging_init();	ppc64_boot_msg(0x15, "Setup Done");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fd899c0cc725387992ccfc83fb6f70505c36cbeb/setup.c/buggy/arch/ppc64/kernel/setup.c