vop_virtio_device_reset  122 drivers/misc/mic/vop/vop_vringh.c 		vop_virtio_device_reset(vdev);
vop_virtio_device_reset  137 drivers/misc/mic/vop/vop_vringh.c 		vop_virtio_device_reset(vdev);