MIC_VRINGH_READ   783 drivers/misc/mic/vop/vop_vringh.c 				      MIC_VRINGH_READ, copy->vr_idx, &out_len);
MIC_VRINGH_READ   794 drivers/misc/mic/vop/vop_vringh.c 				      !MIC_VRINGH_READ, copy->vr_idx, &out_len);