virtio_dev_launch
if (virtio_dev_launch(vm, dev) != 0) {
static int virtio_dev_launch(struct vmd_vm *, struct virtio_dev *);