used 39 kernel/virtio_disk.c struct virtq_used *used; used 123 kernel/virtio_disk.c disk.used = kalloc(); used 124 kernel/virtio_disk.c if(!disk.desc || !disk.avail || !disk.used) used 128 kernel/virtio_disk.c memset(disk.used, 0, PGSIZE); used 138 kernel/virtio_disk.c *R(VIRTIO_MMIO_DEVICE_DESC_LOW) = (uint64)disk.used; used 139 kernel/virtio_disk.c *R(VIRTIO_MMIO_DEVICE_DESC_HIGH) = (uint64)disk.used >> 32; used 312 kernel/virtio_disk.c while(disk.used_idx != disk.used->idx){ used 314 kernel/virtio_disk.c int id = disk.used->ring[disk.used_idx % NUM].id; used 237 mkfs/mkfs.c balloc(int used) used 242 mkfs/mkfs.c printf("balloc: first %d blocks have been allocated\n", used); used 243 mkfs/mkfs.c assert(used < BPB); used 245 mkfs/mkfs.c for(i = 0; i < used; i++){