Symbol: VQ_AVAIL_EVENT
sys/dev/pv/virtio.c
1057
printf(" + avail event: %d\n", VQ_AVAIL_EVENT(vq));
sys/dev/pv/virtio.c
771
t = VQ_AVAIL_EVENT(vq) + 1;