VIRTIO_BLK_ID_BYTES
if ((dma = virtio_dma_alloc(vib->vib_virtio, VIRTIO_BLK_ID_BYTES,
VIRTIO_BLK_ID_BYTES);
for (uint_t n = 0; n < VIRTIO_BLK_ID_BYTES; n++) {
char vib_devid[VIRTIO_BLK_ID_BYTES + 1];
uint8_t vib_rawid[VIRTIO_BLK_ID_BYTES];