HelenOS sources

virtq_avail_t     149 uspace/lib/virtio/virtio-pci.h 	virtq_avail_t *avail;
virtq_avail_t     233 uspace/lib/virtio/virtio.c 	mem_size = ALIGN_UP(mem_size, alignof(virtq_avail_t));
virtq_avail_t     235 uspace/lib/virtio/virtio.c 	mem_size += sizeof(virtq_avail_t) + sizeof(ioport16_t[size]) +
HelenOS homepage, sources at GitHub