drivers/irq/irq-gpio-switch.c

14 	GPIO_BANK_REGISTER(0, GPIO_BANK_PINS),
17 	GPIO_BANK_REGISTER(1, GPIO_BANK_PINS),
20 	GPIO_BANK_REGISTER(2, GPIO_BANK_PINS),
23 	GPIO_BANK_REGISTER(3, GPIO_BANK_PINS),
26 	GPIO_BANK_REGISTER(4, GPIO_BANK_PINS),
29 	GPIO_BANK_REGISTER(5, GPIO_BANK_PINS),
32 	GPIO_BANK_REGISTER(6, GPIO_BANK_PINS),
35 	GPIO_BANK_REGISTER(7, GPIO_BANK_PINS),
38 	GPIO_BANK_REGISTER(8, GPIO_BANK_PINS),
41 	GPIO_BANK_REGISTER(9, GPIO_BANK_PINS),
149 	bank = (irq - PIN_BASE) / GPIO_BANK_PINS;  in __irq_to_gpio()
150 	pin = (irq - PIN_BASE) % GPIO_BANK_PINS;  in __irq_to_gpio()