void w1_destroy_master_attributes(struct w1_master *dev) 
void w1_destroy_master_attributes(struct w1_master *master) 
void w1_destroy_master_attributes(struct w1_master *dev){	device_remove_file(&dev->dev, &w1_master_attribute_slaves);	device_remove_file(&dev->dev, &w1_master_attribute_slave_count);	device_remove_file(&dev->dev, &w1_master_attribute_attempts);	device_remove_file(&dev->dev, &w1_master_attribute_max_slave_count);	device_remove_file(&dev->dev, &w1_master_attribute_timeout);	device_remove_file(&dev->dev, &w1_master_attribute_pointer);	device_remove_file(&dev->dev, &w1_master_attribute_name);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7785925dd8e0d2f389d4a9168f1683c6b249a552/w1.c/buggy/drivers/w1/w1.c