Symbol: mv_gpio_pin_set