p_dev->client.state |= CLIENT_STALE; 
p_dev->state |= CLIENT_STALE; 
static int unbind_request(struct pcmcia_socket *s){	struct pcmcia_device	*p_dev;	unsigned long		flags;	ds_dbg(2, "unbind_request(%d)\n", s->sock);	s->device_count = 0;	for (;;) {		/* unregister all pcmcia_devices registered with this socket*/		spin_lock_irqsave(&pcmcia_dev_list_lock, flags);		if (list_empty(&s->devices_list)) {			spin_unlock_irqrestore(&pcmcia_dev_list_lock, flags); 			return 0;		}		p_dev = list_entry((&s->devices_list)->next, struct pcmcia_device, socket_device_list);		list_del(&p_dev->socket_device_list);		p_dev->client.state |= CLIENT_STALE;		spin_unlock_irqrestore(&pcmcia_dev_list_lock, flags);		device_unregister(&p_dev->dev);	}	return 0;} /* unbind_request */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e12a9a93a8417c4f2aa46ce8346c2d27e656b9a2/ds.c/buggy/drivers/pcmcia/ds.c