Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/mad_rmpp.c continue_rmpp() -> complete_rmpp()

Type Parameter Key Value
PARAM_VALUE 0 rmpp_recv 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf->grh 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf->list.next 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf->list.prev 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf->mad 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf->opa_mad 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->last_ack s32min-2147483646
PARAM_VALUE 0 rmpp_recv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rmpp_recv->rmpp_wc 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->state 2
CAPPED_DATA 0 rmpp_recv->class_version 1
CAPPED_DATA 0 rmpp_recv->last_ack 1
CAPPED_DATA 0 rmpp_recv->method 1
CAPPED_DATA 0 rmpp_recv->mgmt_class 1
CAPPED_DATA 0 rmpp_recv->slid 1
CAPPED_DATA 0 rmpp_recv->src_qp 1
CAPPED_DATA 0 rmpp_recv->tid 1
CAPPED_DATA 0 &rmpp_recv->rmpp_wc->rmpp_list 1
DATA_SOURCE 0 rmpp_recv r acquire_rmpp_recv
PARAM_COMPARE 0 rmpp_recv->last_ack < $0->newwin
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/mad_rmpp.c start_rmpp() -> complete_rmpp()

Type Parameter Key Value
PARAM_VALUE 0 rmpp_recv 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->agent 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->agent->agent.device 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->agent->agent.qp 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->agent->agent.recv_handler 1-u64max
PARAM_VALUE 0 rmpp_recv->agent->agent.rmpp_version 1-255
PARAM_VALUE 0 rmpp_recv->ah 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->ah->device 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->ah->device->ops.size_ib_ah 0-4000000
PARAM_VALUE 0 rmpp_recv->ah->pd 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->ah->pd->device 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 0 rmpp_recv->ah->sgid_attr->index 0-255
PARAM_VALUE 0 rmpp_recv->comp.done 0
PARAM_VALUE 0 rmpp_recv->comp.wait.lock.magic 3735899821
PARAM_VALUE 0 rmpp_recv->comp.wait.lock.owner (-1)
PARAM_VALUE 0 rmpp_recv->comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rmpp_recv->comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf->grh 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf->list.next 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf->list.prev 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf->mad 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->cur_seg_buf->opa_mad 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->last_ack 0
PARAM_VALUE 0 rmpp_recv->list.next 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->newwin 1
PARAM_VALUE 0 rmpp_recv->repwin 1
PARAM_VALUE 0 rmpp_recv->rmpp_wc 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->rmpp_wc->mad_seg_size 256,2048
PARAM_VALUE 0 rmpp_recv->rmpp_wc->recv_buf.grh 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->rmpp_wc->recv_buf.list.next 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->rmpp_wc->recv_buf.list.prev 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->rmpp_wc->recv_buf.mad 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->rmpp_wc->recv_buf.opa_mad 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->rmpp_wc->rmpp_list.next 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->rmpp_wc->rmpp_list.prev 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->rmpp_wc->wc 4096-ptr_max
PARAM_VALUE 0 rmpp_recv->seg_num 1
PARAM_VALUE 0 rmpp_recv->state 2
BUF_SIZE 0 rmpp_recv 640
DATA_SOURCE 0 rmpp_recv r create_rmpp_recv
BIT_INFO 0 rmpp_recv->rmpp_wc->mad_seg_size 0x0,0x900
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock