Symbol: GPIO_OUTPUT_PIN_MASK