BANK_ARM 66 kernel/genarch/src/drivers/bcm2835/irc.c regs->irq_disable[BANK_ARM] = 0xffffffff; BANK_ARM 108 kernel/genarch/src/drivers/bcm2835/irc.c inum = MAKE_IRQ(BANK_ARM, ffs(pending & IRQ_PEND_ARM_M) - 1);