buf0              238 kernel/virtio_disk.c   struct virtio_blk_req *buf0 = &disk.ops[idx[0]];
buf0              241 kernel/virtio_disk.c     buf0->type = VIRTIO_BLK_T_OUT; // write the disk
buf0              243 kernel/virtio_disk.c     buf0->type = VIRTIO_BLK_T_IN; // read the disk
buf0              244 kernel/virtio_disk.c   buf0->reserved = 0;
buf0              245 kernel/virtio_disk.c   buf0->sector = sector;
buf0              247 kernel/virtio_disk.c   disk.desc[idx[0]].addr = (uint64) buf0;