Symbol: GPIO_OUTPUT_PIN_MASK_24_51