Symbol: IRQ_TO_MASK