ctx = ib_ucm_ctx_get(cmd.id); if (!ctx) return -ENOENT;  ib_ucm_ctx_put(ctx); /* user reference */ ib_ucm_ctx_put(ctx); /* func reference */  return 0; 
return ib_ucm_destroy_ctx(file, cmd.id); 
static ssize_t ib_ucm_destroy_id(struct ib_ucm_file *file,				 const char __user *inbuf,				 int in_len, int out_len){	struct ib_ucm_destroy_id cmd;	struct ib_ucm_context *ctx;	if (copy_from_user(&cmd, inbuf, sizeof(cmd)))		return -EFAULT;	ctx = ib_ucm_ctx_get(cmd.id);	if (!ctx)		return -ENOENT;	ib_ucm_ctx_put(ctx); /* user reference */	ib_ucm_ctx_put(ctx); /* func reference */	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b9ef520f9caf20aba8ac7cb2bbba45b52ff19d53/ucm.c/clean/drivers/infiniband/core/ucm.c