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(&disk.free[0], &disk.vdisk_lock);
free               59 user/umalloc.c   free((void*)(hp + 1));
free               43 user/user.h    void free(void*);
free             1070 user/usertests.c       free(m1);
free             1078 user/usertests.c     free(m1);