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