Symbol: armctrl_translate_bank
drivers/irqchip/irq-bcm2835.c
238
return armctrl_translate_bank(1);
drivers/irqchip/irq-bcm2835.c
240
return armctrl_translate_bank(2);