Symbol: ISR_INT_TARGET_MASK