HDMI_SW_DI_N_PKT_WORD4  698 drivers/gpu/drm/sti/sti_hdmi.c 	DBGFS_DUMP_DI(HDMI_SW_DI_N_PKT_WORD4, HDMI_IFRAME_SLOT_AVI);
HDMI_SW_DI_N_PKT_WORD4  708 drivers/gpu/drm/sti/sti_hdmi.c 	DBGFS_DUMP_DI(HDMI_SW_DI_N_PKT_WORD4, HDMI_IFRAME_SLOT_AUDIO);
HDMI_SW_DI_N_PKT_WORD4  718 drivers/gpu/drm/sti/sti_hdmi.c 	DBGFS_DUMP_DI(HDMI_SW_DI_N_PKT_WORD4, HDMI_IFRAME_SLOT_VENDOR);