vop_virtio_del_device  902 drivers/misc/mic/vop/vop_vringh.c 			vop_virtio_del_device(vdev);
vop_virtio_del_device 1150 drivers/misc/mic/vop/vop_vringh.c 		vop_virtio_del_device(vdev);