Symbol: ti_gpio_pin_max