Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfsd/nfs4state.c nfsd4_replay_cache_entry() -> nfsd4_encode_operation()

Type Parameter Key Value
PARAM_VALUE 0 resp 4096-ptr_max
PARAM_VALUE 0 resp->opcnt 1
PARAM_VALUE 0 resp->rqstp 4096-ptr_max
PARAM_VALUE 1 op 4096-ptr_max
BUF_SIZE 0 resp 1-s32max
BUF_SIZE 0 resp 1-s32max
DATA_SOURCE 0 resp $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &nn->client_lock
TYPE_LOCK (struct nfsd_net)->client_lock

fs/nfsd/nfs4state.c nfsd4_replay_cache_entry() -> nfsd4_encode_operation()

Type Parameter Key Value
PARAM_VALUE 0 resp 4096-ptr_max
PARAM_VALUE 0 resp->cstate.replay_owner->so_replay->rp_buf 0-255
PARAM_VALUE 0 resp->cstate.replay_owner->so_replay.rp_buflen 0-4000000,2147483648-u32max
PARAM_VALUE 0 resp->cstate.replay_owner->so_replay.rp_status 0-10017,10019-10065,10068-u32max
PARAM_VALUE 0 resp->cstate.slot 4096-ptr_max
PARAM_VALUE 0 resp->opcnt 2
PARAM_VALUE 0 resp->rqstp 4096-ptr_max
PARAM_VALUE 0 resp->rqstp->rq_argp 4096-ptr_max
PARAM_VALUE 0 resp->rqstp->rq_next_page 4096-ptr_max
PARAM_VALUE 0 resp->xdr 4096-ptr_max
PARAM_VALUE 0 resp->xdr->buf->head->iov_len 0-4294967295
PARAM_VALUE 0 resp->xdr->scratch.iov_len 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 op 4096-ptr_max
PARAM_VALUE 1 op->status 10068
BUF_SIZE 0 resp 1-s32max
BUF_SIZE 0 resp 1-s32max
DATA_SOURCE 0 resp $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &nn->client_lock
TYPE_LOCK (struct nfsd_net)->client_lock