INFOFRAME_HEADER_LEN  662 drivers/gpu/drm/tegra/hdmi.c 		INFOFRAME_HEADER_LEN(ptr[2]);
INFOFRAME_HEADER_LEN 2079 drivers/gpu/drm/tegra/sor.c 		INFOFRAME_HEADER_LEN(ptr[2]);