if (end <= start) 
if (end < start) 
static int adjust_memory(struct pcmcia_socket *s, unsigned int action, unsigned long start, unsigned long end){	struct socket_data *data = s->resource_data;	unsigned long size = end - start + 1;	int ret = 0;	if (end <= start)		return -EINVAL;	down(&rsrc_sem);	switch (action) {	case ADD_MANAGED_RESOURCE:		ret = add_interval(&data->mem_db, start, size);		break;	case REMOVE_MANAGED_RESOURCE:		ret = sub_interval(&data->mem_db, start, size);		if (!ret) {			struct pcmcia_socket *socket;			down_read(&pcmcia_socket_list_rwsem);			list_for_each_entry(socket, &pcmcia_socket_list, socket_list)				release_cis_mem(socket);			up_read(&pcmcia_socket_list_rwsem);		}		break;	default:		ret = -EINVAL;	}	up(&rsrc_sem);	return ret;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1146bc743e074760ef0dd08b3457f35a68069a54/rsrc_nonstatic.c/clean/drivers/pcmcia/rsrc_nonstatic.c