Searched refs:virtio_index (Results 1 – 3 of 3) sorted by relevance
194 let virtio_index = VIRTIO_DEVICE_INDEX_MANAGER.alloc(); in device_add() localVariable195 dev.set_virtio_device_index(virtio_index); in device_add()196 dev.set_device_name(format!("virtio{}", virtio_index.data())); in device_add()
184 virtio_index: None, in new()286 virtio_index: Option<VirtIODeviceIndex>, field327 self.inner().virtio_index = Some(index); in set_virtio_device_index()331 self.inner().virtio_index in virtio_device_index()
80 virtio_index: Option<VirtIODeviceIndex>, field110 virtio_index: None, in new()275 self.inner().virtio_index = Some(index); in set_virtio_device_index()279 return self.inner().virtio_index; in virtio_device_index()