Symbol: bcm_intc_isrc_mask