drm_legacy_ctxbitmap_cleanup
drm_legacy_ctxbitmap_cleanup(dev);
void drm_legacy_ctxbitmap_cleanup(struct drm_device *dev);