info               51 kernel/virtio_disk.c   } info[NUM];
info              261 kernel/virtio_disk.c   disk.info[idx[0]].status = 0xff; // device writes 0 on success
info              262 kernel/virtio_disk.c   disk.desc[idx[2]].addr = (uint64) &disk.info[idx[0]].status;
info              269 kernel/virtio_disk.c   disk.info[idx[0]].b = b;
info              288 kernel/virtio_disk.c   disk.info[idx[0]].b = 0;
info              316 kernel/virtio_disk.c     if(disk.info[id].status != 0)
info              319 kernel/virtio_disk.c     struct buf *b = disk.info[id].b;