dprintk("NFSD: alloc_delegation %d free_delegation %d\n", alloc_delegation, free_delegation);  
__nfs4_state_shutdown(void){	int i;	struct nfs4_client *clp = NULL;	struct nfs4_delegation *dp = NULL;	struct nfs4_stateowner *sop = NULL;	struct list_head *pos, *next, reaplist;	list_for_each_safe(pos, next, &close_lru) {		sop = list_entry(pos, struct nfs4_stateowner, so_close_lru);		list_del(&sop->so_close_lru);		nfs4_put_stateowner(sop);	}	for (i = 0; i < CLIENT_HASH_SIZE; i++) {		while (!list_empty(&conf_id_hashtbl[i])) {			clp = list_entry(conf_id_hashtbl[i].next, struct nfs4_client, cl_idhash);			expire_client(clp);		}		while (!list_empty(&unconf_str_hashtbl[i])) {			clp = list_entry(unconf_str_hashtbl[i].next, struct nfs4_client, cl_strhash);			expire_client(clp);		}	}	INIT_LIST_HEAD(&reaplist);	spin_lock(&recall_lock);	list_for_each_safe(pos, next, &del_recall_lru) {		dp = list_entry (pos, struct nfs4_delegation, dl_recall_lru);		list_move(&dp->dl_recall_lru, &reaplist);	}	spin_unlock(&recall_lock);	list_for_each_safe(pos, next, &reaplist) {		dp = list_entry (pos, struct nfs4_delegation, dl_recall_lru);		list_del_init(&dp->dl_recall_lru);		unhash_delegation(dp);	}	release_all_files();	cancel_delayed_work(&laundromat_work);	flush_scheduled_work();	nfs4_init = 0;	dprintk("NFSD: list_add_perfile %d list_del_perfile %d\n",			list_add_perfile, list_del_perfile);	dprintk("NFSD: add_perclient %d del_perclient %d\n",			add_perclient, del_perclient);	dprintk("NFSD: vfsopen %d vfsclose %d\n",			vfsopen, vfsclose);	dprintk("NFSD: alloc_delegation %d free_delegation %d\n",			alloc_delegation, free_delegation);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5b2d21c1965859acc881dd862b6ebbfae67cdc14/nfs4state.c/buggy/fs/nfsd/nfs4state.c