168 	POSTING_READ(VIDEO_DIP_CTL);  in g4x_write_infoframe()
223 	POSTING_READ(reg);  in ibx_write_infoframe()
284 	POSTING_READ(reg);  in cpt_write_infoframe()
338 	POSTING_READ(reg);  in vlv_write_infoframe()
396 	POSTING_READ(ctl_reg);  in hsw_write_infoframe()
544 		POSTING_READ(reg);  in g4x_set_infoframes()
563 	POSTING_READ(reg);  in g4x_set_infoframes()
685 		POSTING_READ(reg);  in ibx_set_infoframes()
706 	POSTING_READ(reg);  in ibx_set_infoframes()
735 		POSTING_READ(reg);  in cpt_set_infoframes()
748 	POSTING_READ(reg);  in cpt_set_infoframes()
779 		POSTING_READ(reg);  in vlv_set_infoframes()
800 	POSTING_READ(reg);  in vlv_set_infoframes()
825 		POSTING_READ(reg);  in hsw_set_infoframes()
833 	POSTING_READ(reg);  in hsw_set_infoframes()
873 	POSTING_READ(intel_hdmi->hdmi_reg);  in intel_hdmi_prepare()
979 	POSTING_READ(intel_hdmi->hdmi_reg);  in g4x_enable_hdmi()
1004 	POSTING_READ(intel_hdmi->hdmi_reg);  in ibx_enable_hdmi()
1006 	POSTING_READ(intel_hdmi->hdmi_reg);  in ibx_enable_hdmi()
1018 		POSTING_READ(intel_hdmi->hdmi_reg);  in ibx_enable_hdmi()
1025 		POSTING_READ(intel_hdmi->hdmi_reg);  in ibx_enable_hdmi()
1027 		POSTING_READ(intel_hdmi->hdmi_reg);  in ibx_enable_hdmi()
1069 	POSTING_READ(intel_hdmi->hdmi_reg);  in cpt_enable_hdmi()
1076 		POSTING_READ(intel_hdmi->hdmi_reg);  in cpt_enable_hdmi()
1103 	POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
1118 		POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
1120 		POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
1124 		POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()