Symbol: virtio_device_reset
usr/src/uts/common/io/virtio/virtio.h
311
void virtio_device_reset(virtio_t *);
usr/src/uts/common/io/virtio/virtio_main.c
355
virtio_device_reset(vio);