decode_destroy_clientid_maxsz  833 fs/nfs/nfs4xdr.c 					 decode_destroy_clientid_maxsz)
decode_destroy_clientid_maxsz 1898 fs/nfs/nfs4xdr.c 	encode_op_hdr(xdr, OP_DESTROY_CLIENTID, decode_destroy_clientid_maxsz, hdr);