Symbol: VQ_USED_EVENT
sys/dev/pv/virtio.c
1065
printf(" + used event: %d\n", VQ_USED_EVENT(vq));
sys/dev/pv/virtio.c
921
VQ_USED_EVENT(vq) = idx;
sys/dev/pv/virtio.c
976
VQ_USED_EVENT(vq) = vq->vq_used_idx + 0x8000;
sys/dev/pv/virtio.c
994
VQ_USED_EVENT(vq) = vq->vq_used_idx;