55 	WARN(I915_READ(intel_hdmi->hdmi_reg) & enabled_bits,  in assert_hdmi_port_disabled()
730 	I915_WRITE(intel_hdmi->hdmi_reg, hdmi_val);  in intel_hdmi_prepare()
731 	POSTING_READ(intel_hdmi->hdmi_reg);  in intel_hdmi_prepare()
747 	tmp = I915_READ(intel_hdmi->hdmi_reg);  in intel_hdmi_get_hw_state()
771 	tmp = I915_READ(intel_hdmi->hdmi_reg);  in intel_hdmi_get_config()
821 	temp = I915_READ(intel_hdmi->hdmi_reg);  in intel_enable_hdmi()
832 		I915_WRITE(intel_hdmi->hdmi_reg, temp & ~SDVO_ENABLE);  in intel_enable_hdmi()
833 		POSTING_READ(intel_hdmi->hdmi_reg);  in intel_enable_hdmi()
838 	I915_WRITE(intel_hdmi->hdmi_reg, temp);  in intel_enable_hdmi()
839 	POSTING_READ(intel_hdmi->hdmi_reg);  in intel_enable_hdmi()
845 		I915_WRITE(intel_hdmi->hdmi_reg, temp);  in intel_enable_hdmi()
846 		POSTING_READ(intel_hdmi->hdmi_reg);  in intel_enable_hdmi()
873 	temp = I915_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
883 			I915_WRITE(intel_hdmi->hdmi_reg, temp);  in intel_disable_hdmi()
884 			POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
887 			I915_WRITE(intel_hdmi->hdmi_reg, temp);  in intel_disable_hdmi()
888 			POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
903 		I915_WRITE(intel_hdmi->hdmi_reg, temp & ~SDVO_ENABLE);  in intel_disable_hdmi()
904 		POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
909 	I915_WRITE(intel_hdmi->hdmi_reg, temp);  in intel_disable_hdmi()
910 	POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
916 		I915_WRITE(intel_hdmi->hdmi_reg, temp);  in intel_disable_hdmi()
917 		POSTING_READ(intel_hdmi->hdmi_reg);  in intel_disable_hdmi()
1743 void intel_hdmi_init(struct drm_device *dev, int hdmi_reg, enum port port)  in intel_hdmi_init()  argument
1802 	intel_dig_port->hdmi.hdmi_reg = hdmi_reg;  in intel_hdmi_init()