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());        /* Copy the kernel command line arguments to a safe place. */        if (r6) {                *(char *) (r7 + KERNELBASE) = 0;                strcpy(cmd_line, (char *) (r6 + KERNELBASE));        }	isa_mem_base = 0;	ppc_md.setup_arch = chestnut_setup_arch;	ppc_md.show_cpuinfo = chestnut_show_cpuinfo;	ppc_md.irq_canonicalize = NULL;	ppc_md.init_IRQ = mv64360_init_irq;	ppc_md.get_irq = mv64360_get_irq;	ppc_md.init = NULL;	ppc_md.find_end_of_memory = chestnut_find_end_of_memory;	ppc_md.setup_io_mappings  = chestnut_map_io;	ppc_md.restart = chestnut_restart;   	ppc_md.power_off = chestnut_power_off;   	ppc_md.halt = chestnut_halt;	ppc_md.time_init = NULL;	ppc_md.set_rtc_time = NULL;	ppc_md.get_rtc_time = NULL;	ppc_md.calibrate_decr = chestnut_calibrate_decr;	ppc_md.nvram_read_val = NULL;	ppc_md.nvram_write_val = NULL;	ppc_md.heartbeat = NULL;	bh.p_base = CONFIG_MV64X60_NEW_BASE;	chestnut_set_bat();#if defined(CONFIG_SERIAL_TEXT_DEBUG)	ppc_md.progress = gen550_progress;#endif#if defined(CONFIG_KGDB)	ppc_md.kgdb_map_scc = gen550_kgdb_map_scc;#endif	if (ppc_md.progress)                ppc_md.progress("chestnut_init(): exit", 0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/35d81a4bfe28a6ea81c9f67c9ce40543124ded0b/chestnut.c/buggy/arch/ppc/platforms/chestnut.c