ppc_md.irq_canonicalize = sandpoint_irq_canonicalize; 
platform_init(unsigned long r3, unsigned long r4, unsigned long r5,		unsigned long r6, unsigned long r7){	parse_bootinfo(find_bootinfo());	/* ASSUMPTION:  If both r3 (bd_t pointer) and r6 (cmdline pointer)	 * are non-zero, then we should use the board info from the bd_t	 * structure and the cmdline pointed to by r6 instead of the	 * information from birecs, if any.  Otherwise, use the information	 * from birecs as discovered by the preceeding call to	 * parse_bootinfo().  This rule should work with both PPCBoot, which	 * uses a bd_t board info structure, and the kernel boot wrapper,	 * which uses birecs.	 */	if (r3 && r6) {		/* copy board info structure */		memcpy( (void *)__res,(void *)(r3+KERNELBASE), sizeof(bd_t) );		/* copy command line */		*(char *)(r7+KERNELBASE) = 0;		strcpy(cmd_line, (char *)(r6+KERNELBASE));	}#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 */	/* Map in board regs, etc. */	sandpoint_set_bat();	isa_io_base = MPC10X_MAPB_ISA_IO_BASE;	isa_mem_base = MPC10X_MAPB_ISA_MEM_BASE;	pci_dram_offset = MPC10X_MAPB_DRAM_OFFSET;	ISA_DMA_THRESHOLD = 0x00ffffff;	DMA_MODE_READ = 0x44;	DMA_MODE_WRITE = 0x48;	ppc_md.setup_arch = sandpoint_setup_arch;	ppc_md.show_cpuinfo = sandpoint_show_cpuinfo;	ppc_md.irq_canonicalize = sandpoint_irq_canonicalize;	ppc_md.init_IRQ = sandpoint_init_IRQ;	ppc_md.get_irq = openpic_get_irq;	ppc_md.restart = sandpoint_restart;	ppc_md.power_off = sandpoint_power_off;	ppc_md.halt = sandpoint_halt;	ppc_md.find_end_of_memory = sandpoint_find_end_of_memory;	ppc_md.setup_io_mappings = sandpoint_map_io;	TODC_INIT(TODC_TYPE_PC97307, 0x70, 0x00, 0x71, 8);	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.calibrate_decr = todc_calibrate_decr;	ppc_md.nvram_read_val = todc_mc146818_read_val;	ppc_md.nvram_write_val = todc_mc146818_write_val;#ifdef CONFIG_KGDB	ppc_md.kgdb_map_scc = gen550_kgdb_map_scc;#endif#ifdef CONFIG_SERIAL_TEXT_DEBUG	ppc_md.progress = gen550_progress;#endif#if defined(CONFIG_BLK_DEV_IDE) || defined(CONFIG_BLK_DEV_IDE_MODULE)	ppc_ide_md.default_irq = sandpoint_ide_default_irq;	ppc_ide_md.default_io_base = sandpoint_ide_default_io_base;	ppc_ide_md.ide_init_hwif = sandpoint_ide_init_hwif_ports;#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/35d81a4bfe28a6ea81c9f67c9ce40543124ded0b/sandpoint.c/clean/arch/ppc/platforms/sandpoint.c