static struct pcmcia_device * pcmcia_get_dev(struct pcmcia_device *p_dev) 
struct pcmcia_device * pcmcia_get_dev(struct pcmcia_device *p_dev) 
static struct pcmcia_device * pcmcia_get_dev(struct pcmcia_device *p_dev){	struct device *tmp_dev;	tmp_dev = get_device(&p_dev->dev);	if (!tmp_dev)		return NULL;	return to_pcmcia_dev(tmp_dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e7a480d229461e54a0b3b0439b2bf0e652545e3d/ds.c/buggy/drivers/pcmcia/ds.c