drm_legacy_ctxbitmap_flush  246 drivers/gpu/drm/drm_file.c 	drm_legacy_ctxbitmap_flush(dev, file);
drm_legacy_ctxbitmap_flush   52 drivers/gpu/drm/drm_legacy.h void drm_legacy_ctxbitmap_flush(struct drm_device *dev, struct drm_file *file);