s->pcmcia_state.device_add_pending = 1; 
static inline void pcmcia_add_pseudo_device(struct pcmcia_socket *s){	if (!s->pcmcia_state.device_add_pending) {		schedule_work(&s->device_add);		s->pcmcia_state.device_add_pending = 1;	}	return;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5d546f54324e04747e82ccbb4ea85f54bdcacd6d/ds.c/clean/drivers/pcmcia/ds.c