Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4xdr.c nfsd4_encode_read() -> nfsd4_encode_splice_read()

Type Parameter Key Value
PARAM_VALUE 0 resp 4096-ptr_max
PARAM_VALUE 0 resp->rqstp 4096-ptr_max
PARAM_VALUE 0 resp->rqstp->rq_argp 4096-ptr_max
PARAM_VALUE 0 resp->xdr 4096-ptr_max
PARAM_VALUE 0 resp->xdr->buf 4096-ptr_max
PARAM_VALUE 0 resp->xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 resp->xdr->scratch.iov_len 0
PARAM_VALUE 1 read 4096-ptr_max
PARAM_VALUE 1 read->rd_nf 4096-ptr_max
PARAM_VALUE 1 read->rd_nf->nf_file 4096-ptr_max
PARAM_VALUE 1 read->rd_nf->nf_file->f_op 4096-ptr_max
PARAM_VALUE 1 read->rd_nf->nf_file->f_op->splice_read 1-u64max
PARAM_VALUE 2 file 4096-ptr_max
PARAM_VALUE 2 file->f_op 4096-ptr_max
PARAM_VALUE 2 file->f_op->splice_read 1-u64max
PARAM_VALUE 3 maxcount 0-u32max
BUF_SIZE 0 resp 1-s32max
BUF_SIZE 0 resp 1-s32max
BUF_SIZE 0 resp->rqstp (-1),128
BUF_SIZE 0 resp->statusp s32min-(-1),1-s32max
BUF_SIZE 0 resp->tag s32min-(-1),1-s32max
BUF_SIZE 0 resp->xdr (-1),80
BUF_SIZE 1 read 64
CAPPED_DATA 3 maxcount 1
CAPPED_DATA 3 maxcount 1
DATA_SOURCE 0 resp $0
USER_DATA 0 resp->rqstp->rq_xid 0-u32max
UNITS 3 maxcount unit_byte
HALF_LOCKED2 &nn->client_lock

fs/nfsd/nfs4xdr.c nfsd4_encode_read_plus_data() -> nfsd4_encode_splice_read()

Type Parameter Key Value
PARAM_VALUE 0 resp 4096-ptr_max
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->rqstp 4096-ptr_max
PARAM_VALUE 0 resp->rqstp->rq_argp 4096-ptr_max
PARAM_VALUE 0 resp->xdr 4096-ptr_max
PARAM_VALUE 0 resp->xdr->buf 4096-ptr_max
PARAM_VALUE 0 resp->xdr->iov 0,4096-ptr_max
PARAM_VALUE 0 resp->xdr->page_ptr 4096-ptr_max
PARAM_VALUE 0 resp->xdr->scratch.iov_len 0
PARAM_VALUE 1 read 4096-ptr_max
PARAM_VALUE 1 read->rd_eof 0
PARAM_VALUE 1 read->rd_nf 4096-ptr_max
PARAM_VALUE 1 read->rd_nf->nf_file 4096-ptr_max
PARAM_VALUE 1 read->rd_nf->nf_file->f_op 4096-ptr_max
PARAM_VALUE 1 read->rd_nf->nf_file->f_op->splice_read 1-u64max
PARAM_VALUE 1 read->rd_offset 0-18446744073709551614
PARAM_VALUE 2 file 4096-ptr_max
PARAM_VALUE 2 file->f_op 4096-ptr_max
PARAM_VALUE 2 file->f_op->splice_read 1-u64max
PARAM_VALUE 3 maxcount 0-u32max
BUF_SIZE 0 resp 1-s32max
BUF_SIZE 0 resp 1-s32max
BUF_SIZE 0 resp->rqstp (-1),128
BUF_SIZE 0 resp->statusp s32min-(-1),1-s32max
BUF_SIZE 0 resp->tag s32min-(-1),1-s32max
BUF_SIZE 0 resp->xdr (-1),80
BUF_SIZE 1 read 64
CAPPED_DATA 1 read->rd_offset 1
CAPPED_DATA 3 maxcount 1
CAPPED_DATA 3 maxcount 1
DATA_SOURCE 0 resp $0
DATA_SOURCE 1 read $1
UNITS 3 maxcount unit_byte
HALF_LOCKED2 &nn->client_lock