Symbol: INTCTL_INTMSK