if (args->tmpp) { kfree(args->tmpp); args->tmpp = NULL; } 
kfree(args->tmpp); args->tmpp = NULL; 
void nfsd4_release_compoundargs(struct nfsd4_compoundargs *args){	if (args->ops != args->iops) {		kfree(args->ops);		args->ops = args->iops;	}	if (args->tmpp) {		kfree(args->tmpp);		args->tmpp = NULL;	}	while (args->to_free) {		struct tmpbuf *tb = args->to_free;		args->to_free = tb->next;		tb->release(tb->buf);		kfree(tb);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f99d49adf527fa6f7a9c42257fa76bca6b8df1e3/nfs4xdr.c/buggy/fs/nfsd/nfs4xdr.c