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);  /* * Determine various clocks. * To be completely correct we should get SysClk * from FPGA, because it can be changed by on-board switches * --ebs */ ibm440gx_get_clocks(&clocks, 33333333, 6 * 1843200); ocp_sys_info.opb_bus_freq = clocks.opb;  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);	/*	 * Determine various clocks.	 * To be completely correct we should get SysClk	 * from FPGA, because it can be changed by on-board switches	 * --ebs	 */	ibm440gx_get_clocks(&clocks, 33333333, 6 * 1843200);	ocp_sys_info.opb_bus_freq = clocks.opb;	ibm44x_platform_init();	ppc_md.setup_arch = ocotea_setup_arch;	ppc_md.show_cpuinfo = ocotea_show_cpuinfo;	ppc_md.get_irq = NULL;		/* Set in ppc4xx_pic_init() */	ppc_md.calibrate_decr = ocotea_calibrate_decr;	ppc_md.time_init = todc_time_init;	ppc_md.set_rtc_time = todc_set_rtc_time;	ppc_md.get_rtc_time = todc_get_rtc_time;	ppc_md.nvram_read_val = todc_direct_read_val;	ppc_md.nvram_write_val = todc_direct_write_val;#ifdef CONFIG_KGDB	ppc_md.early_serial_map = ocotea_early_serial_map;#endif	ppc_md.init = ocotea_init;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d5f7b06b036afc2cb250decb2c76b7f82c5de639/ocotea.c/clean/arch/ppc/platforms/4xx/ocotea.c