388 	uint32_t val = INREG(port);  in dump_port_info()  local
436 	uint32_t val;  in dump_avi_info()  local
489 static const char *s3d_structure_to_string(int format)  in s3d_structure_to_string()
535 	uint32_t val, vendor_id;  in dump_vendor_info()  local
570 	uint32_t val;  in dump_gamut_info()  local
596 	uint32_t val;  in dump_spd_info()  local
638 	uint32_t val = INREG(reg);  in dump_transcoder_info()  local
717 	uint32_t val = INREG(reg);  in disable_infoframe()  local
727 	uint32_t val = INREG(reg);  in enable_infoframe()  local
782 	uint32_t val;  in change_avi_infoframe()  local
882 	uint32_t val;  in change_spd_infoframe()  local
949 	uint32_t val = INREG(reg);  in change_infoframe_frequency()  local
964 	uint32_t val = INREG(reg);  in disable_dip()  local
972 	uint32_t val = INREG(reg);  in enable_dip()  local
979 	uint32_t val = INREG(reg);  in disable_hdmi_port()  local
986 	uint32_t val = INREG(reg);  in enable_hdmi_port()  local