CONFIG_DRM_SUN4I_HDMI_CEC  284 drivers/gpu/drm/sun4i/sun4i_hdmi_enc.c #ifdef CONFIG_DRM_SUN4I_HDMI_CEC
CONFIG_DRM_SUN4I_HDMI_CEC  630 drivers/gpu/drm/sun4i/sun4i_hdmi_enc.c #ifdef CONFIG_DRM_SUN4I_HDMI_CEC