IRQ_PEND_ARM_M 107 kernel/genarch/src/drivers/bcm2835/irc.c if (pending & IRQ_PEND_ARM_M) { IRQ_PEND_ARM_M 108 kernel/genarch/src/drivers/bcm2835/irc.c inum = MAKE_IRQ(BANK_ARM, ffs(pending & IRQ_PEND_ARM_M) - 1);