if (CHECK_HANDLE(handle) || !(handle->state & CLIENT_CONFIG_LOCKED)) 
if (!(handle->state & CLIENT_CONFIG_LOCKED)) 
int pcmcia_release_configuration(client_handle_t handle){	pccard_io_map io = { 0, 0, 0, 0, 1 };	struct pcmcia_socket *s;	int i;	if (CHECK_HANDLE(handle) ||	    !(handle->state & CLIENT_CONFIG_LOCKED))		return CS_BAD_HANDLE;	handle->state &= ~CLIENT_CONFIG_LOCKED;	s = SOCKET(handle);#ifdef CONFIG_CARDBUS	if (handle->state & CLIENT_CARDBUS)		return CS_SUCCESS;#endif	if (!(handle->state & CLIENT_STALE)) {		config_t *c = CONFIG(handle);		if (--(s->lock_count) == 0) {			s->socket.flags = SS_OUTPUT_ENA;   /* Is this correct? */			s->socket.Vpp = 0;			s->socket.io_irq = 0;			s->ops->set_socket(s, &s->socket);		}		if (c->state & CONFIG_IO_REQ)			for (i = 0; i < MAX_IO_WIN; i++) {				if (s->io[i].NumPorts == 0)					continue;				s->io[i].Config--;				if (s->io[i].Config != 0)					continue;				io.map = i;				s->ops->set_io_map(s, &io);			}		c->state &= ~CONFIG_LOCKED;	}	return CS_SUCCESS;} /* pcmcia_release_configuration */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e12a9a93a8417c4f2aa46ce8346c2d27e656b9a2/pcmcia_resource.c/buggy/drivers/pcmcia/pcmcia_resource.c