virtio_virtq_teardown 287 uspace/lib/virtio/virtio-pci.c virtio_virtq_teardown(vdev, i); virtio_virtq_teardown 205 uspace/lib/virtio/virtio-pci.h extern void virtio_virtq_teardown(virtio_dev_t *, uint16_t);