armctrl_translate_bank  221 drivers/irqchip/irq-bcm2835.c 		return armctrl_translate_bank(1);
armctrl_translate_bank  223 drivers/irqchip/irq-bcm2835.c 		return armctrl_translate_bank(2);