drm_ctxbitmap_free
extern void drm_ctxbitmap_free(struct drm_device *dev, int ctx_handle);
drm_ctxbitmap_free(dev, ctx->handle);
drm_ctxbitmap_free(dev, pos->handle);