VIRTIO_BLK_T_DISCARD
vr->vr_hdr.type = virtio_rw32(vsc, VIRTIO_BLK_T_DISCARD);
case VIRTIO_BLK_T_DISCARD: