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 318 kernel/virtio_disk.c while (disk.used_idx != disk.used->idx) { used 320 kernel/virtio_disk.c int id = disk.used->ring[disk.used_idx % NUM].id; used 241 mkfs/mkfs.c balloc(int used) used 246 mkfs/mkfs.c printf("balloc: first %d blocks have been allocated\n", used); used 247 mkfs/mkfs.c assert(used < BPB); used 249 mkfs/mkfs.c for (i = 0; i < used; i++) {