HDMI_INTR_MASK1    91 drivers/gpu/drm/rockchip/rk3066_hdmi.c 	hdmi_modb(hdmi, HDMI_INTR_MASK1, HDMI_INTR_EDID_MASK, 0);
HDMI_INTR_MASK1   664 drivers/gpu/drm/rockchip/rk3066_hdmi.c 	hdmi_modb(hdmi, HDMI_INTR_MASK1,
HDMI_INTR_MASK1   686 drivers/gpu/drm/rockchip/rk3066_hdmi.c 	hdmi_modb(hdmi, HDMI_INTR_MASK1, HDMI_INTR_EDID_MASK, 0);
HDMI_INTR_MASK1   801 drivers/gpu/drm/rockchip/rk3066_hdmi.c 	hdmi_writeb(hdmi, HDMI_INTR_MASK1, HDMI_INTR_HOTPLUG);