dev_fini_netlink(dev); memset(dev, 0, sizeof(struct w1_master) + sizeof(struct w1_bus_master)); kfree(dev); 
void w1_free_dev(struct w1_master *dev){	device_unregister(&dev->dev);	dev_fini_netlink(dev);	memset(dev, 0, sizeof(struct w1_master) + sizeof(struct w1_bus_master));	kfree(dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3aca692d3ec7cf89da4575f598e41f74502b22d7/w1_int.c/buggy/drivers/w1/w1_int.c