HelenOS sources

IRQ_PEND_SHORT_M  109 kernel/genarch/src/drivers/bcm2835/irc.c 	} else if (pending & IRQ_PEND_SHORT_M) {
IRQ_PEND_SHORT_M  110 kernel/genarch/src/drivers/bcm2835/irc.c 		int pos = (pending & IRQ_PEND_SHORT_M) >> IRQ_PEND_SHORT_S;