Symbol: GPIO_INT_MASK