drm_ctxbitmap_cleanup
extern void drm_ctxbitmap_cleanup(struct drm_device *dev);
drm_ctxbitmap_cleanup(dev);