class_simple_destroy(coda_psdev_class); 
class_destroy(coda_psdev_class); 
static void __exit exit_coda(void){        int err, i;	err = unregister_filesystem(&coda_fs_type);        if ( err != 0 ) {                printk("coda: failed to unregister filesystem\n");        }	for (i = 0; i < MAX_CODADEVS; i++) {		class_simple_device_remove(MKDEV(CODA_PSDEV_MAJOR, i));		devfs_remove("coda/%d", i);	}	class_simple_destroy(coda_psdev_class);	devfs_remove("coda");	unregister_chrdev(CODA_PSDEV_MAJOR, "coda");	coda_sysctl_clean();	coda_destroy_inodecache();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1db560afe629b682c45a7f4ba7edf98b4ee28518/psdev.c/buggy/fs/coda/psdev.c