desc->handle(irq, desc, regs); 
desc_handle_irq(irq, desc, regs); 
sa1100_high_gpio_handler(unsigned int irq, struct irqdesc *desc,			 struct pt_regs *regs){	unsigned int mask;	mask = GEDR & 0xfffff800;	do {		/*		 * clear down all currently active IRQ sources.		 * We will be processing them all.		 */		GEDR = mask;		irq = IRQ_GPIO11;		desc = irq_desc + irq;		mask >>= 11;		do {			if (mask & 1)				desc->handle(irq, desc, regs);			mask >>= 1;			irq++;			desc++;		} while (mask);		mask = GEDR & 0xfffff800;	} while (mask);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/664399e1fbdceb18da9c9c5534dedd62327c63e8/irq.c/buggy/arch/arm/mach-sa1100/irq.c