class_simple_device_remove(MKDEV(DSP56K_MAJOR, 0)); class_simple_destroy(dsp56k_class); 
class_device_destroy(dsp56k_class, MKDEV(DSP56K_MAJOR, 0)); class_destroy(dsp56k_class); 
static void __exit dsp56k_cleanup_driver(void){	class_simple_device_remove(MKDEV(DSP56K_MAJOR, 0));	class_simple_destroy(dsp56k_class);	unregister_chrdev(DSP56K_MAJOR, "dsp56k");	devfs_remove("dsp56k");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ca8eca6884861c1ce294b05aacfdf9045bba9aff/dsp56k.c/buggy/drivers/char/dsp56k.c