port_f_idx        145 drivers/gpio/gpio-ep93xx.c 	int port_f_idx = ((irq + 1) & 7) ^ 4; /* {19..22,47..50} -> {0..7} */
port_f_idx        146 drivers/gpio/gpio-ep93xx.c 	int gpio_irq = EP93XX_GPIO_F_IRQ_BASE + port_f_idx;