free               42 kernel/virtio_disk.c   char free[NUM];  // is a descriptor free?
free              146 kernel/virtio_disk.c     disk.free[i] = 1;
free              160 kernel/virtio_disk.c     if (disk.free[i]) {
free              161 kernel/virtio_disk.c       disk.free[i] = 0;
free              174 kernel/virtio_disk.c   if (disk.free[i])
free              180 kernel/virtio_disk.c   disk.free[i] = 1;
free              181 kernel/virtio_disk.c   wakeup(&disk.free[0]);
free              232 kernel/virtio_disk.c     sleep_prepare(&disk.free[0]);
free               59 user/umalloc.c   free((void *)(hp + 1));
free               50 user/user.h    void free(void *);
free             1103 user/usertests.c       free(m1);
free             1111 user/usertests.c     free(m1);