void __exit debug_exit(void) 
__exit debug_exit(void) 
void __exit debug_exit(void){#ifdef DEBUG	printk("debug_cleanup_module: \n");#endif#ifdef CONFIG_PROC_FS	remove_proc_entry(debug_proc_root_entry->name, NULL);#endif /* CONFIG_PROC_FS */	unregister_sysctl_table(s390dbf_sysctl_header);	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/66a464dbc8e0345b6f972b92bf1118e043d7c987/debug.c/clean/arch/s390/kernel/debug.c