Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4xdr_gen.c xdrgen_encode_bitmap4() -> xdrgen_encode_uint32_t()

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

fs/nfsd/nfs4xdr_gen.c xdrgen_encode_nfstime4() -> xdrgen_encode_uint32_t()

Type Parameter Key Value
PARAM_VALUE 0 xdr 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->page_ptr 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0

fs/nfsd/nfs4xdr_gen.c xdrgen_encode_posixaceperm4() -> xdrgen_encode_uint32_t()

Type Parameter Key Value
PARAM_VALUE 0 xdr 4096-ptr_max
PARAM_VALUE 0 xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 xdr $0
DATA_SOURCE 1 value $1
UNITS 1 value unit_byte

fs/nfsd/nfs4xdr_gen.c xdrgen_encode_stateid4() -> xdrgen_encode_uint32_t()

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