#ifdef	CONFIG_KGDB ppc_md.setup_io_mappings = cpci690_map_io; ppc_md.early_serial_map = cpci690_early_serial_map; #endif	/* CONFIG_KGDB */ 
#endif	/* defined(CONFIG_SERIAL_TEXT_DEBUG) || defined(CONFIG_KGDB_MPSC) */ 
platform_init(unsigned long r3, unsigned long r4, unsigned long r5,	      unsigned long r6, unsigned long r7){#ifdef CONFIG_BLK_DEV_INITRD	initrd_start=initrd_end=0;	initrd_below_start_ok=0;#endif /* CONFIG_BLK_DEV_INITRD */	parse_bootinfo(find_bootinfo());	loops_per_jiffy = cpci690_get_cpu_speed() / HZ;	isa_mem_base = 0;	ppc_md.setup_arch = cpci690_setup_arch;	ppc_md.show_cpuinfo = cpci690_show_cpuinfo;	ppc_md.init_IRQ = gt64260_init_irq;	ppc_md.get_irq = gt64260_get_irq;	ppc_md.restart = cpci690_restart;	ppc_md.power_off = cpci690_power_off;	ppc_md.halt = cpci690_halt;	ppc_md.find_end_of_memory = cpci690_find_end_of_memory;	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;	ppc_md.calibrate_decr = cpci690_calibrate_decr;	/*	 * Need to map in board regs (used by cpci690_find_end_of_memory())	 * and the bridge's regs (used by progress);	 */	cpci690_set_bat(CPCI690_BR_BASE, 32 * MB);	cpci690_br_base = CPCI690_BR_BASE;#ifdef	CONFIG_SERIAL_TEXT_DEBUG	ppc_md.setup_io_mappings = cpci690_map_io;	ppc_md.progress = mv64x60_mpsc_progress;	mv64x60_progress_init(CONFIG_MV64X60_NEW_BASE);#endif	/* CONFIG_SERIAL_TEXT_DEBUG */#ifdef	CONFIG_KGDB	ppc_md.setup_io_mappings = cpci690_map_io;	ppc_md.early_serial_map = cpci690_early_serial_map;#endif	/* CONFIG_KGDB */#if defined(CONFIG_SERIAL_MPSC)	platform_notify = cpci690_platform_notify;#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f54bef9e9c84c8dc656c55dc96c1da7b6d1c53d8/cpci690.c/buggy/arch/ppc/platforms/cpci690.c