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