is_edid_extension 5433 drivers/gpu/drm/drm_edid.c 				bool is_edid_extension)
is_edid_extension 5440 drivers/gpu/drm/drm_edid.c 	if (is_edid_extension)