avail              34 kernel/virtio_disk.c   struct virtq_avail *avail;
avail             122 kernel/virtio_disk.c   disk.avail = kalloc();
avail             124 kernel/virtio_disk.c   if(!disk.desc || !disk.avail || !disk.used)
avail             127 kernel/virtio_disk.c   memset(disk.avail, 0, PGSIZE);
avail             136 kernel/virtio_disk.c   *R(VIRTIO_MMIO_DRIVER_DESC_LOW) = (uint64)disk.avail;
avail             137 kernel/virtio_disk.c   *R(VIRTIO_MMIO_DRIVER_DESC_HIGH) = (uint64)disk.avail >> 32;
avail             272 kernel/virtio_disk.c   disk.avail->ring[disk.avail->idx % NUM] = idx[0];
avail             277 kernel/virtio_disk.c   disk.avail->idx += 1; // not % NUM ...
avail            2784 user/usertests.c   for(int avail = 0; avail < 15; avail++){
avail            2800 user/usertests.c       for(int i = 0; i < avail; i++)