ppc_md.irq_canonicalize	= NULL; 
platform_init(unsigned long r3, unsigned long r4, unsigned long r5,		unsigned long r6, unsigned long r7){	parse_bootinfo(find_bootinfo());	if ( r3 )		memcpy( (void *)__res,(void *)(r3+KERNELBASE), sizeof(bd_t) );#ifdef CONFIG_PCI	m8xx_setup_pci_ptrs();#endif#ifdef CONFIG_BLK_DEV_INITRD	/* take care of initrd if we have one */	if ( r4 )	{		initrd_start = r4 + KERNELBASE;		initrd_end = r5 + KERNELBASE;	}#endif /* CONFIG_BLK_DEV_INITRD */	/* take care of cmd line */	if ( r6 )	{		*(char *)(r7+KERNELBASE) = 0;		strcpy(cmd_line, (char *)(r6+KERNELBASE));	}	ppc_md.setup_arch		= m8xx_setup_arch;	ppc_md.show_percpuinfo		= m8xx_show_percpuinfo;	ppc_md.irq_canonicalize	= NULL;	ppc_md.init_IRQ			= m8xx_init_IRQ;	ppc_md.get_irq			= m8xx_get_irq;	ppc_md.init			= NULL;	ppc_md.restart			= m8xx_restart;	ppc_md.power_off		= m8xx_power_off;	ppc_md.halt			= m8xx_halt;	ppc_md.time_init		= NULL;	ppc_md.set_rtc_time		= m8xx_set_rtc_time;	ppc_md.get_rtc_time		= m8xx_get_rtc_time;	ppc_md.calibrate_decr		= m8xx_calibrate_decr;	ppc_md.find_end_of_memory	= m8xx_find_end_of_memory;	ppc_md.setup_io_mappings	= m8xx_map_io;#if defined(CONFIG_BLK_DEV_MPC8xx_IDE)	m8xx_ide_init();#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/35d81a4bfe28a6ea81c9f67c9ce40543124ded0b/m8xx_setup.c/clean/arch/ppc/syslib/m8xx_setup.c