Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sunrpc/xprtrdma/svc_rdma_recvfrom.c svc_rdma_post_recvs() -> svc_rdma_refresh_recvs()

Type Parameter Key Value
PARAM_VALUE 0 rdma 4096-ptr_max
PARAM_VALUE 0 rdma->sc_accept_q.next->prev 4096-ptr_max
PARAM_VALUE 0 rdma->sc_accept_q.prev->next 4096-ptr_max
PARAM_VALUE 0 rdma->sc_cm_id 4096-ptr_max
PARAM_VALUE 0 rdma->sc_cm_id->device 4096-ptr_max
PARAM_VALUE 0 rdma->sc_cm_id->device->attrs.device_cap_flags 2097152-u64max
PARAM_VALUE 0 rdma->sc_cm_id->device->ops.create_qp 1-u64max
PARAM_VALUE 0 rdma->sc_cm_id->device->ops.size_ib_cq 0-4000000
PARAM_VALUE 0 rdma->sc_cm_id->device->ops.size_ib_pd 0-4000000
PARAM_VALUE 0 rdma->sc_cm_id->device->port_data 4096-ptr_max
PARAM_VALUE 0 rdma->sc_cm_id->qp 4096-ptr_max
PARAM_VALUE 0 rdma->sc_fc_credits 128
PARAM_VALUE 0 rdma->sc_max_bc_requests 2
PARAM_VALUE 0 rdma->sc_max_req_size 4096
PARAM_VALUE 0 rdma->sc_max_requests 0-135,4294967294-u32max
PARAM_VALUE 0 rdma->sc_max_send_sges 0-5
PARAM_VALUE 0 rdma->sc_pd 4096-ptr_max
PARAM_VALUE 0 rdma->sc_pd->device 4096-ptr_max
PARAM_VALUE 0 rdma->sc_pd->device->ops.create_qp 1-u64max
PARAM_VALUE 0 rdma->sc_pd->device->ops.size_ib_pd 0-4000000
PARAM_VALUE 0 rdma->sc_pd->device->port_data 4096-ptr_max
PARAM_VALUE 0 rdma->sc_pd->flags 0
PARAM_VALUE 0 rdma->sc_pd->res.comp.done 0
PARAM_VALUE 0 rdma->sc_pd->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 rdma->sc_pd->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 rdma->sc_pd->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rdma->sc_pd->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rdma->sc_pd->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 rdma->sc_pd->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 rdma->sc_pd->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rdma->sc_pd->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdma->sc_pd->res.kern_name 635726513953107968
PARAM_VALUE 0 rdma->sc_pd->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 rdma->sc_pd->res.type 0
PARAM_VALUE 0 rdma->sc_qp 4096-ptr_max
PARAM_VALUE 0 rdma->sc_recv_batch 1,7
PARAM_VALUE 0 rdma->sc_rn.rn_done 2586775043796803584
PARAM_VALUE 0 rdma->sc_rq_cq 4096-ptr_max
PARAM_VALUE 0 rdma->sc_sq_avail.counter 1-s32max
PARAM_VALUE 0 rdma->sc_sq_cq 4096-ptr_max
PARAM_VALUE 0 rdma->sc_sq_depth 1-s32max
PARAM_VALUE 0 rdma->sc_sq_ticket_head.counter 0
PARAM_VALUE 0 rdma->sc_sq_ticket_tail.counter 0
PARAM_VALUE 1 wanted 0-135,4294967294-u32max
BUF_SIZE 0 rdma->sc_pd->res.kern_name 8
CAPPED_DATA 0 rdma->sc_cm_id->device 1
CAPPED_DATA 0 rdma->sc_pd->device 1
CAPPED_DATA 0 rdma->sc_rq_cq->comp_vector 1
CAPPED_DATA 0 rdma->sc_sq_cq->comp_vector 1
CAPPED_DATA 0 rdma->sc_sq_depth 1
DATA_SOURCE 0 rdma $0
FUZZY_MAX 0 rdma->sc_recv_batch 7
STR_LEN 0 rdma->sc_pd->res.kern_name 7
BIT_INFO 0 rdma->sc_recv_batch 0x1,0xffffffffffffffff
TERMINATED 0 rdma->sc_pd->res.kern_name 1
HARD_MAX 0 rdma->sc_recv_batch 7
NO_OVERFLOW_SIMPLE 0 rdma->sc_pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 rdma->sc_pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 rdma->sc_pd->device->phys_port_cnt
UNITS 1 wanted unit_byte

net/sunrpc/xprtrdma/svc_rdma_recvfrom.c svc_rdma_wc_receive() -> svc_rdma_refresh_recvs()

Type Parameter Key Value
PARAM_VALUE 0 rdma 4096-ptr_max
PARAM_VALUE 0 rdma->sc_max_requests 1-u32max
PARAM_VALUE 0 rdma->sc_pending_recvs 0-4294967294
BUF_SIZE 0 rdma s32min-(-2),1-s32max
BUF_SIZE 0 rdma s32min-(-2),1-s32max
CAPPED_DATA 0 rdma->sc_pending_recvs 1
PARAM_COMPARE 0 rdma->sc_max_requests > $0->sc_pending_recvs
RX_PATH
TASK_NOT_RUNNING