class_simple_destroy(dvb_class); 
class_destroy(dvb_class); 
static void __exit exit_dvbdev(void){        devfs_remove("dvb");	class_simple_destroy(dvb_class);	cdev_del(&dvb_device_cdev);        unregister_chrdev_region(MKDEV(DVB_MAJOR, 0), MAX_DVB_MINORS);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/56b2293595b2eb52cc2aa2baf92c6cfa8265f9d5/dvbdev.c/clean/drivers/media/dvb/dvb-core/dvbdev.c