HDMI_ACTIVE_VID_XMAX  249 drivers/gpu/drm/sti/sti_hdmi.c 	hdmi_write(hdmi, xmax, HDMI_ACTIVE_VID_XMAX);
HDMI_ACTIVE_VID_XMAX  675 drivers/gpu/drm/sti/sti_hdmi.c 	DBGFS_DUMP("", HDMI_ACTIVE_VID_XMAX);
HDMI_ACTIVE_VID_XMAX  677 drivers/gpu/drm/sti/sti_hdmi.c 	DBGFS_PRINT_INT("Xmax:", hdmi_read(hdmi, HDMI_ACTIVE_VID_XMAX));