free_desc         191 kernel/virtio_disk.c     free_desc(i);
free_desc         208 kernel/virtio_disk.c         free_desc(idx[j]);