kfree(p_dev->devname); 
static void pcmcia_release_dev(struct device *dev){	struct pcmcia_device *p_dev = to_pcmcia_dev(dev);	ds_dbg(1, "releasing dev %p\n", p_dev);	pcmcia_put_socket(p_dev->socket);	kfree(p_dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bd65a68574b787304a0cd90f22cfd44540ce3695/ds.c/buggy/drivers/pcmcia/ds.c