The output of dmesg | grep hdmi is below:
[ 8858.335913] dwhdmi-rockchip fde80000.hdmi: use tmds mode
[ 8858.353924] dwhdmi-rockchip fde80000.hdmi: use tmds mode
[ 8868.856276] dwhdmi-rockchip fde80000.hdmi: use tmds mode
[ 8868.883683] rockchip-hdptx-phy-hdmi fed60000.hdmiphy: hdptx_ropll_cmn_config bus_width:16a8c8 rate:1485000
[ 8868.884071] rockchip-hdptx-phy-hdmi fed60000.hdmiphy: hdptx phy pll locked!
[ 8868.884248] dwhdmi-rockchip fde80000.hdmi: final tmdsclk = 148500000
[ 8868.888597] dwhdmi-rockchip fde80000.hdmi: don't use dsc mode
[ 8868.888615] dwhdmi-rockchip fde80000.hdmi: dw hdmi qp use tmds mode
[ 8868.888642] rockchip-hdptx-phy-hdmi fed60000.hdmiphy: bus_width:0x16a8c8,bit_rate:1485000
[ 8868.888903] rockchip-hdptx-phy-hdmi fed60000.hdmiphy: hdptx phy lane locked!
[ 8868.974189] dwhdmi-rockchip fde80000.hdmi: use tmds mode
[ 8878.012315] dwhdmi-rockchip fde80000.hdmi: use tmds mode
[ 8878.024266] dwhdmi-rockchip fde80000.hdmi: use tmds mode
[ 8878.108232] dwhdmi-rockchip fde80000.hdmi: use tmds mode