int debug_unregister_view(debug_info_t * id, struct debug_view *view) 
debug_unregister_view(debug_info_t * id, struct debug_view *view) 
int debug_unregister_view(debug_info_t * id, struct debug_view *view){	int rc = 0;	int i;	unsigned long flags;	if (!id)		goto out;	spin_lock_irqsave(&id->lock, flags);	for (i = 0; i < DEBUG_MAX_VIEWS; i++) {		if (id->views[i] == view)			break;	}	if (i == DEBUG_MAX_VIEWS)		rc = -1;	else {#ifdef CONFIG_PROC_FS		remove_proc_entry(id->proc_entries[i]->name,				  id->proc_root_entry);#endif		id->views[i] = NULL;		rc = 0;	}	spin_unlock_irqrestore(&id->lock, flags);      out:	return rc;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/66a464dbc8e0345b6f972b92bf1118e043d7c987/debug.c/buggy/arch/s390/kernel/debug.c