Symbol: publish_avail_idx
sys/dev/pv/virtio.c
767
publish_avail_idx(sc, vq);
sys/dev/pv/virtio.c
775
publish_avail_idx(sc, vq);