openpic_set_sources(32, 12, OpenPIC_Addr + 0x10000); 
openpic_set_sources(48, 12, OpenPIC_Addr + 0x10000); 
sbc8560_init_IRQ(void){	bd_t *binfo = (bd_t *) __res;	/* Determine the Physical Address of the OpenPIC regs */	phys_addr_t OpenPIC_PAddr =	    binfo->bi_immr_base + MPC85xx_OPENPIC_OFFSET;	OpenPIC_Addr = ioremap(OpenPIC_PAddr, MPC85xx_OPENPIC_SIZE);	OpenPIC_InitSenses = sbc8560_openpic_initsenses;	OpenPIC_NumInitSenses = sizeof (sbc8560_openpic_initsenses);	/* Skip reserved space and internal sources */	openpic_set_sources(0, 32, OpenPIC_Addr + 0x10200);	/* Map PIC IRQs 0-11 */	openpic_set_sources(32, 12, OpenPIC_Addr + 0x10000);	/* we let openpic interrupts starting from an offset, to 	 * leave space for cascading interrupts underneath.	 */	openpic_init(MPC85xx_OPENPIC_IRQ_OFFSET);	return;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/65145e060b1c933ebc4215c3b493f586e08a1d5c/sbc85xx.c/buggy/arch/ppc/platforms/85xx/sbc85xx.c