printk("%s:%d rtas.dev=%p\n", __FILE__, __LINE__, rtas.dev); 
void __init setup_arch(char **cmdline_p){	extern void do_init_bootmem(void);	printk("%s:%d rtas.dev=%p\n", __FILE__, __LINE__, rtas.dev);	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;	printk("%s:%d rtas.dev=%p\n", __FILE__, __LINE__, rtas.dev);	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();	printk("%s:%d rtas.dev=%p\n", __FILE__, __LINE__, rtas.dev);	stabs_alloc();	/* set up the bootmem stuff with available memory */	do_init_bootmem();	sparse_init();	printk("%s:%d rtas.dev=%p\n", __FILE__, __LINE__, rtas.dev);	/* initialize the syscall map in systemcfg */	setup_syscall_map();	ppc_md.setup_arch();	/* Use the default idle loop if the platform hasn't provided one. */	if (NULL == ppc_md.idle_loop) {		ppc_md.idle_loop = default_idle;		printk(KERN_INFO "Using default idle loop\n");	}	paging_init();	ppc64_boot_msg(0x15, "Setup Done");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/cc5aa206d2c853929ce67d8f5ebb57cd1c7fd413/setup_64.c/clean/arch/powerpc/kernel/setup_64.c