vtmmio_write_config_1
vtmmio_write_config_1(sc, off, *(const uint8_t *)src);
vtmmio_write_config_1(sc, off, *s);