/* Like GPIO0 to 10, GPIO11-27 IRQs need to be handled specially. In addition, the IRQs are all collected up into one bit in the interrupt controller registers.  */
static void sa1100_high_gpio_ack(unsigned int irq)
/* Like GPIO0 to 10, GPIO11-27 IRQs need to be handled specially. In addition, the IRQs are all collected up into one bit in the interrupt controller registers.  */
static void sa1100_high_gpio_ack(unsigned int irq)
{
	unsigned int mask = GPIO11_27_MASK(irq);
	GEDR = mask;
}