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);  #if defined(CONFIG_BLK_DEV_INITRD) /* * If the init RAM disk has been configured in, and there's a valid * starting address for it, set it up. */ if (r4) { initrd_start = r4 + KERNELBASE; initrd_end = r5 + KERNELBASE; } #endif  /* CONFIG_BLK_DEV_INITRD */  /* Copy the kernel command line arguments to a safe place. */  if (r6) { *(char *) (r7 + KERNELBASE) = 0; strcpy(cmd_line, (char *) (r6 + KERNELBASE)); }  
void __init ibm44x_platform_init(void){	ppc_md.init_IRQ = ppc4xx_pic_init;	ppc_md.find_end_of_memory = ibm44x_find_end_of_memory;	ppc_md.restart = ibm44x_restart;	ppc_md.power_off = ibm44x_power_off;	ppc_md.halt = ibm44x_halt;#ifdef CONFIG_SERIAL_TEXT_DEBUG	ppc_md.progress = gen550_progress;#endif /* CONFIG_SERIAL_TEXT_DEBUG */#ifdef CONFIG_KGDB	ppc_md.kgdb_map_scc = gen550_kgdb_map_scc;#endif	/*	 * The Abatron BDI JTAG debugger does not tolerate others	 * mucking with the debug registers.	 */#if !defined(CONFIG_BDI_SWITCH)	/* Enable internal debug mode */        mtspr(SPRN_DBCR0, (DBCR0_IDM));	/* Clear any residual debug events */	mtspr(SPRN_DBSR, 0xffffffff);#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d5f7b06b036afc2cb250decb2c76b7f82c5de639/ibm44x_common.c/buggy/arch/ppc/syslib/ibm44x_common.c