decode_lockt_maxsz  592 fs/nfs/nfs4xdr.c 				 decode_lockt_maxsz)
decode_lockt_maxsz 1354 fs/nfs/nfs4xdr.c 	encode_op_hdr(xdr, OP_LOCKT, decode_lockt_maxsz, hdr);