vtmmio_reinit
DEVMETHOD(virtio_bus_reinit, vtmmio_reinit),
static int vtmmio_reinit(device_t, uint64_t);