Symbol: DBGFS_PRINT_INT
drivers/gpu/drm/sti/sti_hdmi.c
688
DBGFS_PRINT_INT("Xmin:", hdmi_read(hdmi, HDMI_ACTIVE_VID_XMIN));
drivers/gpu/drm/sti/sti_hdmi.c
691
DBGFS_PRINT_INT("Xmax:", hdmi_read(hdmi, HDMI_ACTIVE_VID_XMAX));
drivers/gpu/drm/sti/sti_hdmi.c
694
DBGFS_PRINT_INT("Ymin:", hdmi_read(hdmi, HDMI_ACTIVE_VID_YMIN));
drivers/gpu/drm/sti/sti_hdmi.c
697
DBGFS_PRINT_INT("Ymax:", hdmi_read(hdmi, HDMI_ACTIVE_VID_YMAX));