VIRTIO_ASSERT
VIRTIO_ASSERT(n <= vq->vq_num);
VIRTIO_ASSERT(vq_size > 0);
VIRTIO_ASSERT(slotp != NULL);
VIRTIO_ASSERT(qe1->qe_next == -1);
VIRTIO_ASSERT(1 <= nsegs && nsegs <= vq->vq_num);
VIRTIO_ASSERT(s >= 0);
VIRTIO_ASSERT(dmamap->dm_nsegs > 0);
VIRTIO_ASSERT(s >= 0);
VIRTIO_ASSERT(dmamap->dm_nsegs == 1);
VIRTIO_ASSERT((dmamap->dm_segs[0].ds_len > start) &&