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:

drivers/infiniband/hw/irdma/cm.c irdma_connect() -> irdma_send_syn()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->ack_rcvd 0
PARAM_VALUE 0 cm_node->apbvt_entry 4096-ptr_max
PARAM_VALUE 0 cm_node->apbvt_set 1
PARAM_VALUE 0 cm_node->cm_core s64min-(-4096),4096-s64max
PARAM_VALUE 0 cm_node->establish_comp.done 0
PARAM_VALUE 0 cm_node->establish_comp.wait.lock.magic 3735899821
PARAM_VALUE 0 cm_node->establish_comp.wait.lock.owner (-1)
PARAM_VALUE 0 cm_node->establish_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 cm_node->ird_size 0-255
PARAM_VALUE 0 cm_node->iwdev s64min-(-4096),4096-s64max
PARAM_VALUE 0 cm_node->iwqp 4096-ptr_max
PARAM_VALUE 0 cm_node->iwqp->active_conn 1
PARAM_VALUE 0 cm_node->iwqp->cm_id 0
PARAM_VALUE 0 cm_node->iwqp->cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->iwqp->iwdev 4096-ptr_max
PARAM_VALUE 0 cm_node->iwqp->sc_qp.dev 4096-ptr_max
PARAM_VALUE 0 cm_node->iwqp->sc_qp.list.next 4096-ptr_max
PARAM_VALUE 0 cm_node->iwqp->sc_qp.list.prev 4096-ptr_max
PARAM_VALUE 0 cm_node->iwqp->sc_qp.on_qoslist 1
PARAM_VALUE 0 cm_node->listener 0,4096-ptr_max
PARAM_VALUE 0 cm_node->mpa_frame_rev 2
PARAM_VALUE 0 cm_node->ord_size 0-255
PARAM_VALUE 0 cm_node->pdata.size 0-255
PARAM_VALUE 0 cm_node->qhash_set 1
PARAM_VALUE 0 cm_node->refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 cm_node->send_rdma0_op 1
PARAM_VALUE 0 cm_node->state 4
PARAM_VALUE 0 cm_node->tcp_cntxt.client 1
PARAM_VALUE 0 cm_node->tcp_cntxt.loc_id 15175
PARAM_VALUE 0 cm_node->tcp_cntxt.mss 0-65495,4294967236-4294967295
PARAM_VALUE 0 cm_node->tcp_cntxt.rcv_wscale 2
PARAM_VALUE 1 sendack 0
BUF_SIZE 0 cm_node->apbvt_entry (-1),24
NOSPEC 0 cm_node->vlan_id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cm_node->apbvt_entry->port 0-u16max
USER_DATA 0 cm_node->ird_size 0-255[c]
USER_DATA 0 cm_node->iwqp->sc_qp.user_pri 0-7[c]
USER_DATA 0 cm_node->loc_port 0-u16max
USER_DATA 0 cm_node->ord_size 0-255[c]
USER_DATA 0 cm_node->pdata.size 0-255
USER_DATA 0 cm_node->rem_port 0-u16max
USER_DATA 0 cm_node->user_pri 0-7[c]
USER_DATA 0 cm_node->vlan_id 0-4095[c]
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex

drivers/infiniband/hw/irdma/cm.c irdma_handle_rst_pkt() -> irdma_send_syn()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->iwdev->vsi.ilq->bufpool.next->prev 4096-ptr_max
PARAM_VALUE 0 cm_node->iwdev->vsi.ilq->bufpool_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_node->mpa_frame_rev 1
PARAM_VALUE 0 cm_node->retrans_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_node->send_entry 0
PARAM_VALUE 0 cm_node->state 4
PARAM_VALUE 1 sendack 0
BUF_SIZE 0 cm_node (-1),1040
BUF_SIZE 0 cm_node (-1),1040
BUF_SIZE 0 cm_node->cm_core (-1),4568
CAPPED_DATA 0 cm_node->loc_port 1
DATA_SOURCE 0 cm_node $0
NOSPEC 0 cm_node->vlan_id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cm_node->loc_port 0-u16max[c]
USER_DATA 0 cm_node->rem_port 0-u16max
USER_DATA 0 cm_node->user_pri 0-7[c]
USER_DATA 0 cm_node->vlan_id 0-4095[c]
LOCK2 &dev->puda_cq_lock
LOCK2 irq
HALF_LOCKED2 bh
TYPE_LOCK (struct irdma_sc_dev)->puda_cq_lock

drivers/infiniband/hw/irdma/hw.c irdma_send_syn_cqp_callback() -> irdma_send_syn()

Type Parameter Key Value
PARAM_VALUE 1 sendack 1
BUF_SIZE 0 cm_node 56,80,88,120,160,1040
BUF_SIZE 0 cm_node 56,80,88,120,160,1040
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL