Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/sunrpc/xprtrdma/svc_rdma_backchannel.c rpcrdma_bc_send_request() -> svc_rdma_send_ctxt_put()

Type Parameter Key Value
PARAM_VALUE 0 rdma 4096-ptr_max
PARAM_VALUE 0 rdma->sc_send_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdma->sc_sq_cq 4096-ptr_max
PARAM_VALUE 0 rdma->sc_xprt.xpt_server 4096-ptr_max
PARAM_VALUE 1 ctxt 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_cur_sge_no 0
PARAM_VALUE 1 ctxt->sc_hdrbuf.head 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_page_count 0
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.next 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.next->next 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.prev 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.prev->next 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_sqecount 0
PARAM_VALUE 1 ctxt->sc_send_wr.num_sge 0-1
PARAM_VALUE 1 ctxt->sc_sqecount 1
PARAM_VALUE 1 ctxt->sc_stream->end 0-u32max
PARAM_VALUE 1 ctxt->sc_stream.buf 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_stream.iov 0,4096-ptr_max
PARAM_VALUE 1 ctxt->sc_stream.rqst 0
PARAM_VALUE 1 ctxt->sc_stream.scratch.iov_len 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 ctxt->sc_wr_chain 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_xprt_buf 0,4096-ptr_max
BUF_SIZE 1 ctxt (-1),400-s32max
BUF_SIZE 1 ctxt (-1),400-s32max
CAPPED_DATA 1 ctxt->sc_wr_chain 1
CAPPED_DATA 1 ctxt->sc_xprt_buf 1
DATA_SOURCE 0 rdma $0
DATA_SOURCE 1 ctxt r svc_rdma_send_ctxt_get
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rdma->sc_max_send_sges
NO_OVERFLOW_SIMPLE 1 ctxt->sc_maxpages
NO_OVERFLOW_SIMPLE 1 ctxt->sc_rdma->sc_max_send_sges
HALF_LOCKED2 &pool->lock

net/sunrpc/xprtrdma/svc_rdma_sendto.c svc_rdma_send_error_msg() -> svc_rdma_send_ctxt_put()

Type Parameter Key Value
PARAM_VALUE 0 rdma 4096-ptr_max
PARAM_VALUE 0 rdma->sc_send_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdma->sc_sq_cq 4096-ptr_max
PARAM_VALUE 0 rdma->sc_xprt.xpt_server 4096-ptr_max
PARAM_VALUE 1 ctxt 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_cur_sge_no 0
PARAM_VALUE 1 ctxt->sc_hdrbuf.head 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.next->next 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.prev 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.prev->next 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_send_wr.num_sge 0-1
PARAM_VALUE 1 ctxt->sc_sqecount 1
PARAM_VALUE 1 ctxt->sc_stream.buf 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_stream.iov 0,4096-ptr_max
PARAM_VALUE 1 ctxt->sc_stream.rqst 0
PARAM_VALUE 1 ctxt->sc_stream.scratch.iov_len 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 ctxt->sc_xprt_buf 0,4096-ptr_max
BUF_SIZE 1 ctxt (-1),400-s32max
BUF_SIZE 1 ctxt (-1),400-s32max
BUF_SIZE 1 ctxt->sc_wr_chain (-1),40
CAPPED_DATA 1 ctxt->sc_xprt_buf 1
DATA_SOURCE 0 rdma $0
DATA_SOURCE 1 ctxt $1
FUZZY_MAX 1 ctxt->sc_send_wr.num_sge 1
RX_PATH
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rdma->sc_max_send_sges
NO_OVERFLOW_SIMPLE 1 ctxt->sc_maxpages
NO_OVERFLOW_SIMPLE 1 ctxt->sc_rdma->sc_max_send_sges

net/sunrpc/xprtrdma/svc_rdma_sendto.c svc_rdma_sendto() -> svc_rdma_send_ctxt_put()

Type Parameter Key Value
PARAM_VALUE 0 rdma 4096-ptr_max
PARAM_VALUE 0 rdma->sc_send_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rdma->sc_sq_cq 4096-ptr_max
PARAM_VALUE 0 rdma->sc_xprt.xpt_server 4096-ptr_max
PARAM_VALUE 1 ctxt 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_cur_sge_no 0
PARAM_VALUE 1 ctxt->sc_hdrbuf.head 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.next->next 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.prev 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.prev->next 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_reply_info.wi_cc.cc_rwctxts.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_send_wr.num_sge 0-1
PARAM_VALUE 1 ctxt->sc_sqecount 1
PARAM_VALUE 1 ctxt->sc_stream.buf 4096-ptr_max
PARAM_VALUE 1 ctxt->sc_stream.iov 0,4096-ptr_max
PARAM_VALUE 1 ctxt->sc_stream.rqst 0
PARAM_VALUE 1 ctxt->sc_stream.scratch.iov_len 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 ctxt->sc_wr_chain->num_sge 0
PARAM_VALUE 1 ctxt->sc_xprt_buf 0,4096-ptr_max
BUF_SIZE 1 ctxt (-1),400-s32max
BUF_SIZE 1 ctxt (-1),400-s32max
CAPPED_DATA 1 ctxt->sc_xprt_buf 1
DATA_SOURCE 1 ctxt r svc_rdma_send_ctxt_get
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rdma->sc_max_send_sges
NO_OVERFLOW_SIMPLE 1 ctxt->sc_maxpages
NO_OVERFLOW_SIMPLE 1 ctxt->sc_rdma->sc_max_send_sges

net/sunrpc/xprtrdma/svc_rdma_sendto.c svc_rdma_wc_send() -> svc_rdma_send_ctxt_put()

Type Parameter Key Value
PARAM_VALUE 0 rdma 4096-ptr_max
PARAM_VALUE 1 ctxt 4096-ptr_max
BUF_SIZE 0 rdma s32min-(-2),1-s32max
BUF_SIZE 0 rdma s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sunrpc/xprtrdma/svc_rdma_sendto.c svc_rdma_wc_send() -> svc_rdma_send_ctxt_put()

Type Parameter Key Value
PARAM_VALUE 0 rdma 4096-ptr_max
PARAM_VALUE 1 ctxt 4096-ptr_max
BUF_SIZE 0 rdma s32min-(-2),1-s32max
BUF_SIZE 0 rdma s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL