182 void hdmi_write(struct sti_hdmi *hdmi, u32 val, int offset)  in hdmi_write()
309 	u32 val, i;  in hdmi_infoframe_reset()  local
370 	u32 val, slot, mode, i;  in hdmi_infoframe_write_infopack()  local
486 	int ret, val;  in hdmi_audio_infoframe_config()  local
564 	u32 val;  in hdmi_swreset()  local
606 static void hdmi_dbg_cfg(struct seq_file *s, int val)  in hdmi_dbg_cfg()
630 static void hdmi_dbg_sta(struct seq_file *s, int val)  in hdmi_dbg_sta()
642 static void hdmi_dbg_sw_di_cfg(struct seq_file *s, int val)  in hdmi_dbg_sw_di_cfg()
672 	struct drm_info_node *node = s->private;  in hdmi_dbg_show()  local
754 	u32 val = hdmi_read(hdmi, HDMI_CFG);  in sti_hdmi_disable()  local
1089 				uint64_t val)  in sti_hdmi_connector_set_property()
1108 				uint64_t *val)  in sti_hdmi_connector_get_property()