bank_irqs          71 drivers/irqchip/irq-bcm2835.c static const int bank_irqs[] __initconst = { 8, 32, 32 };
bank_irqs         153 drivers/irqchip/irq-bcm2835.c 		for (i = 0; i < bank_irqs[b]; i++) {