link0_aksv_1      649 drivers/gpu/drm/msm/hdmi/hdmi_hdcp.c 	u32 link0_aksv_0, link0_aksv_1;
link0_aksv_1      659 drivers/gpu/drm/msm/hdmi/hdmi_hdcp.c 	link0_aksv_1 = hdmi_read(hdmi, REG_HDMI_HDCP_RCVPORT_DATA4);
link0_aksv_1      661 drivers/gpu/drm/msm/hdmi/hdmi_hdcp.c 	DBG("Link ASKV=%08x%08x", link0_aksv_0, link0_aksv_1);
link0_aksv_1      667 drivers/gpu/drm/msm/hdmi/hdmi_hdcp.c 	aksv[4] =  link0_aksv_1        & 0xFF;
link0_aksv_1      684 drivers/gpu/drm/msm/hdmi/hdmi_hdcp.c 	DBG("Link0-AKSV=%02x%08x", link0_aksv_1 & 0xFF, link0_aksv_0);