if (id < 0 || id >= IB_UMAD_MAX_AGENTS || !file->agent[id]) { 
if (id < 0 || id >= IB_UMAD_MAX_AGENTS || !__get_agent(file, id)) { 
static int ib_umad_unreg_agent(struct ib_umad_file *file, unsigned long arg){	struct ib_mad_agent *agent = NULL;	u32 id;	int ret = 0;	if (get_user(id, (u32 __user *) arg))		return -EFAULT;	down_write(&file->port->mutex);	if (id < 0 || id >= IB_UMAD_MAX_AGENTS || !file->agent[id]) {		ret = -EINVAL;		goto out;	}	agent = file->agent[id];	file->agent[id] = NULL;out:	up_write(&file->port->mutex);	if (agent)		ib_unregister_mad_agent(agent);	return ret;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/94382f3562e350ed7c8f7dcd6fc968bdece31328/user_mad.c/clean/drivers/infiniband/core/user_mad.c