class_simple_device_remove(MKDEV(DVB_MAJOR, nums2minor(dvbdev->adapter->num, 
class_device_destroy(dvb_class, MKDEV(DVB_MAJOR, nums2minor(dvbdev->adapter->num, 
void dvb_unregister_device(struct dvb_device *dvbdev){	if (!dvbdev)		return;	devfs_remove("dvb/adapter%d/%s%d", dvbdev->adapter->num,			dnames[dvbdev->type], dvbdev->id);	class_simple_device_remove(MKDEV(DVB_MAJOR, nums2minor(dvbdev->adapter->num,					dvbdev->type, dvbdev->id)));	list_del (&dvbdev->list_head);	kfree (dvbdev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/56b2293595b2eb52cc2aa2baf92c6cfa8265f9d5/dvbdev.c/clean/drivers/media/dvb/dvb-core/dvbdev.c