class_simple_destroy(vmlogrdr_class); 
class_destroy(vmlogrdr_class); 
vmlogrdr_unregister_driver(void) {	class_simple_destroy(vmlogrdr_class);	vmlogrdr_class = NULL;	driver_remove_file(&vmlogrdr_driver, &driver_attr_recording_status);	driver_unregister(&vmlogrdr_driver);	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/56b2293595b2eb52cc2aa2baf92c6cfa8265f9d5/vmlogrdr.c/buggy/drivers/s390/char/vmlogrdr.c