Symbol: GPIO_CONTROL_PIN