Symbol: GPIO_INT_PIN_MASK