/* ack GPIO irq's Ack only for edge triggered int's valid  */
static void ack_gpio_irq(u32 irq)
/* ack GPIO irq's Ack only for edge triggered int's valid  */
static void ack_gpio_irq(u32 irq)
{
	u32 reg_base = GPIO_VIRT(IRQ_TO_REGNO(irq));
	u32 bit = IRQ_TO_BIT(irq);
	if ( (CPU_REG (reg_base, GPIO_EDGE) & bit))
		CPU_REG (reg_base, GPIO_CLR) = bit;
}