Symbol: VIRTIO_CONFIG1_QUEUE_USED
sys/dev/pci/virtio_pci.c
783
VIRTIO_CONFIG1_QUEUE_USED, 0);
sys/dev/pci/virtio_pci.c
790
VIRTIO_CONFIG1_QUEUE_USED, addr + vq->vq_usedoffset);