Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4xdr.c decode_read_plus() -> process_read_plus_segment()

Type Parameter Key Value
PARAM_VALUE 0 xdr 8277573992891842560
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->buf->page_len 0-4294967294
PARAM_VALUE 0 xdr->buf->tail 4096-ptr_max
PARAM_VALUE 0 xdr->end 4096-ptr_max
PARAM_VALUE 0 xdr->iov 4096-ptr_max
PARAM_VALUE 0 xdr->nwords 0-1073741823,3221225473-u32max
PARAM_VALUE 0 xdr->p 4096-ptr_max
PARAM_VALUE 0 xdr->page_kaddr 0
PARAM_VALUE 0 xdr->page_ptr 0
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 0 xdr->scratch.iov_len 16
PARAM_VALUE 0 *xdr->buf->pages 0,4096-ptr_max
PARAM_VALUE 1 args 4096-ptr_max
PARAM_VALUE 2 res 4096-ptr_max
PARAM_VALUE 2 res->count 0-s32max,18446744071562067968-u64max
PARAM_VALUE 2 res->seq_res.sr_slot 0,4096-ptr_max
BUF_SIZE 1 args 112
BUF_SIZE 2 res 4,8,16,20,24,32,40,48,56,64,72,80,88,104,112,128,248,352,480
BUF_SIZE 2 res 4,8,16,20,24,32,40,48,56,64,72,80,88,104,112,128,248,352,480
DATA_SOURCE 0 xdr $0
DATA_SOURCE 2 res $1
FUZZY_MAX 2 res->count 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 res->eof 0-s32max
HALF_LOCKED2 &pool->lock