int pcmcia_release_irq(client_handle_t handle, irq_req_t *req) 
int pcmcia_release_irq(struct pcmcia_device *p_dev, irq_req_t *req) 
int pcmcia_release_irq(client_handle_t handle, irq_req_t *req){	struct pcmcia_socket *s;	if (!(handle->state & CLIENT_IRQ_REQ))		return CS_BAD_HANDLE;	handle->state &= ~CLIENT_IRQ_REQ;	s = SOCKET(handle);	if (!(handle->state & CLIENT_STALE)) {		config_t *c = CONFIG(handle);		if (c->state & CONFIG_LOCKED)			return CS_CONFIGURATION_LOCKED;		if (c->irq.Attributes != req->Attributes)			return CS_BAD_ATTRIBUTE;		if (s->irq.AssignedIRQ != req->AssignedIRQ)			return CS_BAD_IRQ;		if (--s->irq.Config == 0) {			c->state &= ~CONFIG_IRQ_REQ;			s->irq.AssignedIRQ = 0;		}	}	if (req->Attributes & IRQ_HANDLE_PRESENT) {		free_irq(req->AssignedIRQ, req->Instance);	}#ifdef CONFIG_PCMCIA_PROBE	pcmcia_used_irq[req->AssignedIRQ]--;#endif	return CS_SUCCESS;} /* pcmcia_release_irq */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2bc5a9bdc56fac6f7cbf95b89443e3809141c247/pcmcia_resource.c/buggy/drivers/pcmcia/pcmcia_resource.c