Symbol: SMC_SET_INT_MASK