vrl_idx            67 drivers/gpu/drm/drm_hdcp.c 	u32 vrl_ksv_cnt, vrl_ksv_sz, vrl_idx = 0;
vrl_idx            75 drivers/gpu/drm/drm_hdcp.c 		DRM_DEBUG("vrl: %d, Revoked KSVs: %d\n", vrl_idx++,