decode_destroy_session_maxsz  829 fs/nfs/nfs4xdr.c 					 decode_destroy_session_maxsz)
decode_destroy_session_maxsz 1890 fs/nfs/nfs4xdr.c 	encode_op_hdr(xdr, OP_DESTROY_SESSION, decode_destroy_session_maxsz, hdr);