out: 
out: 
void debug_unregister(debug_info_t * id){	if (!id)		goto out;	down(&debug_lock);#ifdef DEBUG	printk(KERN_INFO "debug: unregistering %s\n", id->name);#endif	debug_info_put(id);	up(&debug_lock);      out:	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/66a464dbc8e0345b6f972b92bf1118e043d7c987/debug.c/clean/arch/s390/kernel/debug.c