Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfs/nfs4xdr.c encode_copy() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4xdr.c encode_copy() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4xdr.c encode_copy() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4xdr.c encode_destroy_clientid() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
DATA_SOURCE 1 n $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4xdr.c encode_fallocate() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4xdr.c encode_fallocate() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4xdr.c encode_read_plus() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 n unit_byte

fs/nfs/nfs4xdr.c encode_readdir() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4xdr.c encode_renew() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
DATA_SOURCE 1 n $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4xdr.c encode_seek() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4xdr.c encode_setclientid_confirm() -> encode_uint64()

Type Parameter Key Value
PARAM_VALUE 0 xdr 2037987434704080896
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL