handle->state &= ~CLIENT_IO_REQ; s = SOCKET(handle); 
p_dev->state &= ~CLIENT_IO_REQ; 
int pcmcia_release_io(client_handle_t handle, io_req_t *req){	struct pcmcia_socket *s;	if (!(handle->state & CLIENT_IO_REQ))		return CS_BAD_HANDLE;	handle->state &= ~CLIENT_IO_REQ;	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 (c->state & CONFIG_LOCKED)			return CS_CONFIGURATION_LOCKED;		if ((c->io.BasePort1 != req->BasePort1) ||		    (c->io.NumPorts1 != req->NumPorts1) ||		    (c->io.BasePort2 != req->BasePort2) ||		    (c->io.NumPorts2 != req->NumPorts2))			return CS_BAD_ARGS;		c->state &= ~CONFIG_IO_REQ;	}	release_io_space(s, req->BasePort1, req->NumPorts1);	if (req->NumPorts2)		release_io_space(s, req->BasePort2, req->NumPorts2);	return CS_SUCCESS;} /* pcmcia_release_io */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2bc5a9bdc56fac6f7cbf95b89443e3809141c247/pcmcia_resource.c/buggy/drivers/pcmcia/pcmcia_resource.c