Symbol: VIRTIO_CONFIG1_QUEUE_AVAIL
sys/dev/pci/virtio_pci.c
781
VIRTIO_CONFIG1_QUEUE_AVAIL, 0);
sys/dev/pci/virtio_pci.c
788
VIRTIO_CONFIG1_QUEUE_AVAIL, addr + vq->vq_availoffset);