PPCDBG(PPCDBG_BUSWALK, "iSeries_enable_IRQ 0x%02X.%02X.%02X 0x%04X\n", bus, subBus, deviceId, irq); 
static void iSeries_enable_IRQ(unsigned int irq){	u32 bus, deviceId, function, mask;	const u32 subBus = 0;	unsigned int rirq = virt_irq_to_real_map[irq];	/* The IRQ has already been locked by the caller */	bus = REAL_IRQ_TO_BUS(rirq);	function = REAL_IRQ_TO_FUNC(rirq);	deviceId = (REAL_IRQ_TO_IDSEL(rirq) << 4) + function;	/* Unmask secondary INTA */	mask = 0x80000000;	HvCallPci_unmaskInterrupts(bus, subBus, deviceId, mask);	PPCDBG(PPCDBG_BUSWALK, "iSeries_enable_IRQ 0x%02X.%02X.%02X 0x%04X\n",			bus, subBus, deviceId, irq);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dcad47fc423ac9f4934579af814fa2dad5c8081b/irq.c/clean/arch/powerpc/platforms/iseries/irq.c