class_simple_device_remove(MKDEV(CODA_PSDEV_MAJOR, i)); 
class_device_destroy(coda_psdev_class, MKDEV(CODA_PSDEV_MAJOR, i)); 
static int __init init_coda(void){	int status;	int i;	printk(KERN_INFO "Coda Kernel/Venus communications, "#ifdef CONFIG_CODA_FS_OLD_API	       "v5.3.20"#else	       "v6.0.0"#endif	       ", coda@cs.cmu.edu\n");	status = coda_init_inodecache();	if (status)		goto out2;	status = init_coda_psdev();	if ( status ) {		printk("Problem (%d) in init_coda_psdev\n", status);		goto out1;	}		status = register_filesystem(&coda_fs_type);	if (status) {		printk("coda: failed to register filesystem!\n");		goto out;	}	return 0;out:	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();out1:	coda_destroy_inodecache();out2:	return status;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1db560afe629b682c45a7f4ba7edf98b4ee28518/psdev.c/buggy/fs/coda/psdev.c