INTR1_MASK        203 drivers/gpu/drm/zte/zx_hdmi.c 	hdmi_writeb_mask(hdmi, INTR1_MASK, INTR1_MONITOR_DETECT,
INTR1_MASK        213 drivers/gpu/drm/zte/zx_hdmi.c 	hdmi_writeb_mask(hdmi, INTR1_MASK, INTR1_MONITOR_DETECT, 0);