Symbol: virtio_dev_get64
usr/src/uts/common/io/vioblk/vioblk.c
860
if ((vib->vib_nblks = virtio_dev_get64(vio,
usr/src/uts/common/io/virtio/virtio.h
317
uint64_t virtio_dev_get64(virtio_t *, uintptr_t);