Symbol: RP2_CH_IRQ_MASK