Symbol: chipc_gpio_pin_update