CONFIG_DRM_FBDEV_OVERALLOC   56 drivers/gpu/drm/drm_fb_helper.c static int drm_fbdev_overalloc = CONFIG_DRM_FBDEV_OVERALLOC;
CONFIG_DRM_FBDEV_OVERALLOC   60 drivers/gpu/drm/drm_fb_helper.c 		 __MODULE_STRING(CONFIG_DRM_FBDEV_OVERALLOC) "]");