parse_bootinfo(find_bootinfo());  /* * If we were passed in a board information, copy it into the * residual data area. */ if (r3) __res = *(bd_t *)(r3 + KERNELBASE);  ibm44x_platform_init(); 
ibm44x_platform_init(r3, r4, r5, r6, r7); 
void __init platform_init(unsigned long r3, unsigned long r4,		unsigned long r5, unsigned long r6, unsigned long r7){	parse_bootinfo(find_bootinfo());	/*	 * If we were passed in a board information, copy it into the	 * residual data area.	 */	if (r3)		__res = *(bd_t *)(r3 + KERNELBASE);	ibm44x_platform_init();	ppc_md.setup_arch = luan_setup_arch;	ppc_md.show_cpuinfo = luan_show_cpuinfo;	ppc_md.find_end_of_memory = ibm440sp_find_end_of_memory;	ppc_md.get_irq = NULL;		/* Set in ppc4xx_pic_init() */	ppc_md.calibrate_decr = luan_calibrate_decr;#ifdef CONFIG_KGDB	ppc_md.early_serial_map = luan_early_serial_map;#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d5f7b06b036afc2cb250decb2c76b7f82c5de639/luan.c/buggy/arch/ppc/platforms/4xx/luan.c