vtmmio_stop
DEVMETHOD(virtio_bus_stop, vtmmio_stop),
vtmmio_stop(dev);
static void vtmmio_stop(device_t);