Symbol: GPIO_PIN_HIGH