used_virt          50 drivers/misc/mic/vop/vop_main.c 	void *used_virt[VOP_MAX_VRINGS];
used_virt         254 drivers/misc/mic/vop/vop_main.c 	free_pages((unsigned long)vdev->used_virt[n],
used_virt         344 drivers/misc/mic/vop/vop_main.c 	vdev->used_virt[index] = used;