vtmmio_read_dev_config_8
*(uint64_t *)dst = vtmmio_read_dev_config_8(sc, off);
static uint64_t vtmmio_read_dev_config_8(struct vtmmio_softc *, bus_size_t);