HDMI_PHY_STAT0
val = dwhdmi_read(sc, HDMI_PHY_STAT0) & HDMI_PHY_TX_PHY_LOCK;
val = dwhdmi_read(sc, HDMI_PHY_STAT0);