Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sunrpc/xprtrdma/svc_rdma_sendto.c svc_rdma_encode_write_chunk() -> svc_rdma_encode_write_segment()

Type Parameter Key Value
PARAM_VALUE 0 sctxt 4096-ptr_max
PARAM_VALUE 0 sctxt->sc_cur_sge_no 0
PARAM_VALUE 0 sctxt->sc_hdrbuf.head 4096-ptr_max
PARAM_VALUE 0 sctxt->sc_page_count 0
PARAM_VALUE 0 sctxt->sc_reply_info.wi_cc.cc_rwctxts.next->next 4096-ptr_max
PARAM_VALUE 0 sctxt->sc_reply_info.wi_cc.cc_rwctxts.prev 4096-ptr_max
PARAM_VALUE 0 sctxt->sc_reply_info.wi_cc.cc_rwctxts.prev->next 4096-ptr_max
PARAM_VALUE 0 sctxt->sc_reply_info.wi_cc.cc_rwctxts.prev->prev 4096-ptr_max
PARAM_VALUE 0 sctxt->sc_send_wr.num_sge 0
PARAM_VALUE 0 sctxt->sc_sqecount 1
PARAM_VALUE 0 sctxt->sc_stream.buf 4096-ptr_max
PARAM_VALUE 0 sctxt->sc_stream.iov 0,4096-ptr_max
PARAM_VALUE 0 sctxt->sc_stream.page_ptr 4096-ptr_max
PARAM_VALUE 0 sctxt->sc_stream.rqst 0
PARAM_VALUE 0 sctxt->sc_stream.scratch.iov_len 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 sctxt->sc_wr_chain->num_sge 0
PARAM_VALUE 0 sctxt->sc_xprt_buf 0,4096-ptr_max
PARAM_VALUE 1 chunk 4096-ptr_max
PARAM_VALUE 1 chunk->ch_segcount 1-u32max
PARAM_VALUE 2 remaining 3425193003252289536
BUF_SIZE 0 sctxt (-1),400-s32max
BUF_SIZE 0 sctxt (-1),400-s32max
CAPPED_DATA 0 sctxt->sc_xprt_buf 1
CAPPED_DATA 3 segno 1
DATA_SOURCE 0 sctxt $0
DATA_SOURCE 1 chunk $1
PARAM_COMPARE 1 chunk->ch_segcount > $3
PARAM_COMPARE 3 segno < $1->ch_segcount
NO_OVERFLOW_SIMPLE 0 sctxt->sc_maxpages
NO_OVERFLOW_SIMPLE 0 sctxt->sc_rdma->sc_max_send_sges