Symbol: GPIO_PIN_SET