info               51 kernel/virtio_disk.c   } info[NUM];
info              264 kernel/virtio_disk.c   disk.info[idx[0]].status = 0xff; // device writes 0 on success
info              265 kernel/virtio_disk.c   disk.desc[idx[2]].addr = (uint64)&disk.info[idx[0]].status;
info              272 kernel/virtio_disk.c   disk.info[idx[0]].b = b;
info              294 kernel/virtio_disk.c   disk.info[idx[0]].b = 0;
info              322 kernel/virtio_disk.c     if (disk.info[id].status != 0)
info              325 kernel/virtio_disk.c     struct buf *b = disk.info[id].b;