DBGFS_PRINT_INT   674 drivers/gpu/drm/sti/sti_hdmi.c 	DBGFS_PRINT_INT("Xmin:", hdmi_read(hdmi, HDMI_ACTIVE_VID_XMIN));
DBGFS_PRINT_INT   677 drivers/gpu/drm/sti/sti_hdmi.c 	DBGFS_PRINT_INT("Xmax:", hdmi_read(hdmi, HDMI_ACTIVE_VID_XMAX));
DBGFS_PRINT_INT   680 drivers/gpu/drm/sti/sti_hdmi.c 	DBGFS_PRINT_INT("Ymin:", hdmi_read(hdmi, HDMI_ACTIVE_VID_YMIN));
DBGFS_PRINT_INT   683 drivers/gpu/drm/sti/sti_hdmi.c 	DBGFS_PRINT_INT("Ymax:", hdmi_read(hdmi, HDMI_ACTIVE_VID_YMAX));