Searched defs:disk_device_tube (Results 1 – 1 of 1) sorted by relevance
522 let disk_device_tube = disk_device_tubes.remove(0); in create_virtio_devices() localVariable528 let disk_device_tube = cfg.block_vhost_user_tube.remove(0); in create_virtio_devices() localVariable