/* IRQ11 (GPIO11 through 27) handler. We enter here with the irq_controller_lock held, and IRQs disabled. Decode the IRQ and call the handler.  */
static void sa1100_high_gpio_handler(unsigned int irq, struct irq_desc *desc)
/* IRQ11 (GPIO11 through 27) handler. We enter here with the irq_controller_lock held, and IRQs disabled. Decode the IRQ and call the handler.  */
static void sa1100_high_gpio_handler(unsigned int irq, struct irq_desc *desc)
{
	unsigned int mask;
	mask = GEDR & 0xfffff800;
	do {
		GEDR = mask;
		irq = IRQ_GPIO11;
		mask >>= 11;
		do {
			if (mask & 1)
				generic_handle_irq(irq);
			mask >>= 1;
			irq++;
		} while (mask);
		mask = GEDR & 0xfffff800;
	} while (mask);
}