decode_getdeviceinfo_maxsz  861 fs/nfs/nfs4xdr.c 				decode_getdeviceinfo_maxsz)
decode_getdeviceinfo_maxsz 1957 fs/nfs/nfs4xdr.c 	encode_op_hdr(xdr, OP_GETDEVICEINFO, decode_getdeviceinfo_maxsz, hdr);