mv_gpio_reg_write
static void mv_gpio_reg_write(device_t, uint32_t, uint32_t);
mv_gpio_reg_write(dev, reg, reg_val);