static void pcmcia_put_dev(struct pcmcia_device *p_dev) 
void pcmcia_put_dev(struct pcmcia_device *p_dev) 
static void pcmcia_put_dev(struct pcmcia_device *p_dev){	if (p_dev)		put_device(&p_dev->dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e7a480d229461e54a0b3b0439b2bf0e652545e3d/ds.c/buggy/drivers/pcmcia/ds.c