Symbol: rp2_mask_ch_irq