ctc_remove_attributes(struct device *dev){	device_remove_file(dev, &dev_attr_stats);	device_remove_file(dev, &dev_attr_loglevel);//	device_remove_file(dev, &dev_attr_buffer);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7394c928c849fe2ea5c20b6d73cbe7f220810d94/ctcmain.c/buggy/drivers/s390/net/ctcmain.c