236 	POSTING_READ(VIDEO_DIP_CTL);  in g4x_write_infoframe()
309 	POSTING_READ(reg);  in ibx_write_infoframe()
389 	POSTING_READ(reg);  in cpt_write_infoframe()
462 	POSTING_READ(reg);  in vlv_write_infoframe()
534 	POSTING_READ(ctl_reg);  in hsw_write_infoframe()
871 		POSTING_READ(reg);  in g4x_set_infoframes()
890 	POSTING_READ(reg);  in g4x_set_infoframes()
1042 		POSTING_READ(reg);  in ibx_set_infoframes()
1063 	POSTING_READ(reg);  in ibx_set_infoframes()
1099 		POSTING_READ(reg);  in cpt_set_infoframes()
1112 	POSTING_READ(reg);  in cpt_set_infoframes()
1149 		POSTING_READ(reg);  in vlv_set_infoframes()
1170 	POSTING_READ(reg);  in vlv_set_infoframes()
1202 		POSTING_READ(reg);  in hsw_set_infoframes()
1210 	POSTING_READ(reg);  in hsw_set_infoframes()
1754 	POSTING_READ(intel_hdmi->hdmi_reg);  in intel_hdmi_prepare()
1871 	POSTING_READ(intel_hdmi->hdmi_reg);  in g4x_enable_hdmi()
1897 	POSTING_READ(intel_hdmi->hdmi_reg);  in ibx_enable_hdmi()
1899 	POSTING_READ(intel_hdmi->hdmi_reg);  in ibx_enable_hdmi()
1911 		POSTING_READ(intel_hdmi->hdmi_reg);  in ibx_enable_hdmi()
1918 		POSTING_READ(intel_hdmi->hdmi_reg);  in ibx_enable_hdmi()
1920 		POSTING_READ(intel_hdmi->hdmi_reg);  in ibx_enable_hdmi()
1964 	POSTING_READ(intel_hdmi->hdmi_reg);  in cpt_enable_hdmi()
1971 		POSTING_READ(intel_hdmi->hdmi_reg);  in cpt_enable_hdmi()
2004 	POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
2026 		POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
2028 		POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
2032 		POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()