class_simple_device_remove(MKDEV(capi_major, 0)); class_simple_destroy(capi_class); 
class_device_destroy(capi_class, MKDEV(capi_major, 0)); class_destroy(capi_class); 
static void __exit capi_exit(void){	proc_exit();	class_simple_device_remove(MKDEV(capi_major, 0));	class_simple_destroy(capi_class);	unregister_chrdev(capi_major, "capi20");	devfs_remove("isdn/capi20");#ifdef CONFIG_ISDN_CAPI_MIDDLEWARE	capinc_tty_exit();#endif	printk(KERN_NOTICE "capi: Rev %s: unloaded\n", rev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/56b2293595b2eb52cc2aa2baf92c6cfa8265f9d5/capi.c/buggy/drivers/isdn/capi/capi.c