Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
PARAM_VALUE 1 value 1419594848956039168
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING