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)