Symbol: mv_gpio_pin_max