Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/cm.c irdma_send_ack() -> (struct irdma_cm_core)->form_cm_frame()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->cm_core 4096-ptr_max
PARAM_VALUE 1 options 0
PARAM_VALUE 2 hdr 0
PARAM_VALUE 3 pdata 0
PARAM_VALUE 4 flags 1
BUF_SIZE 0 cm_node (-1),1040
BUF_SIZE 0 cm_node (-1),1040
BUF_SIZE 0 cm_node->cm_core (-1),4568
DATA_SOURCE 0 cm_node $0
CONTAINER 0 -4544-72+0 $(-1)
NOSPEC 0 cm_node->tcp_cntxt.loc_seq_num
NOSPEC 0 cm_node->tcp_cntxt.mss
NOSPEC 0 cm_node->vlan_id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cm_node->iwqp->ietf_mem.size 0-287[c]
USER_DATA 0 cm_node->iwqp->sc_qp.user_pri 0-7[c]
USER_DATA 0 cm_node->loc_port 0-u16max[c]
USER_DATA 0 cm_node->ord_size 0-16382[c]
USER_DATA 0 cm_node->pdata.size 0-512
USER_DATA 0 cm_node->rem_port 0-u16max
USER_DATA 0 cm_node->tcp_cntxt.loc_seq_num 0-u32max
USER_DATA 0 cm_node->tcp_cntxt.mss 536-u16max[c]
USER_DATA 0 cm_node->tcp_cntxt.rem_ack_num 0-u32max
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 &pfpdu->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
TYPE_LOCK (struct irdma_sc_dev)->puda_cq_lock

drivers/infiniband/hw/irdma/cm.c irdma_send_fin() -> (struct irdma_cm_core)->form_cm_frame()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->cm_core 4096-ptr_max
PARAM_VALUE 0 cm_node->state 16
PARAM_VALUE 0 *cm_node->pdata_buf 0-255
PARAM_VALUE 1 options 0
PARAM_VALUE 2 hdr 0
PARAM_VALUE 3 pdata 0
PARAM_VALUE 4 flags 5
BUF_SIZE 0 cm_node (-1),1040
BUF_SIZE 0 cm_node (-1),1040
BUF_SIZE 0 cm_node->cm_core (-1),4568
DATA_SOURCE 0 cm_node $0
CONTAINER 0 -4544-72+0 $(-1)
NOSPEC 0 cm_node->tcp_cntxt.loc_seq_num
NOSPEC 0 cm_node->tcp_cntxt.mss
NOSPEC 0 cm_node->vlan_id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cm_node->iwqp->ietf_mem.size 0-287[c]
USER_DATA 0 cm_node->iwqp->sc_qp.user_pri 0-7[c]
USER_DATA 0 cm_node->loc_port 0-u16max[c]
USER_DATA 0 cm_node->ord_size 0-16382[c]
USER_DATA 0 cm_node->pdata.size 0-512
USER_DATA 0 cm_node->rem_port 0-u16max
USER_DATA 0 cm_node->tcp_cntxt.loc_seq_num 0-u32max
USER_DATA 0 cm_node->tcp_cntxt.mss 536-u16max[c]
USER_DATA 0 cm_node->user_pri 0-7[c]
USER_DATA 0 cm_node->vlan_id 0-4095[c]
HALF_LOCKED2 &dev->puda_cq_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 irq

drivers/infiniband/hw/irdma/cm.c irdma_send_mpa_reject() -> (struct irdma_cm_core)->form_cm_frame()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->cm_core 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_hdr.addr 4096-ptr_max
PARAM_VALUE 0 cm_node->mpa_hdr.size 0,20,24
PARAM_VALUE 0 cm_node->pdata.size 0-255
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 0-17,19-u32max
PARAM_VALUE 0 cm_node->tcp_cntxt.client 0
PARAM_VALUE 1 options 0
PARAM_VALUE 2 hdr 4096-ptr_max
PARAM_VALUE 2 hdr->addr 4096-ptr_max
PARAM_VALUE 2 hdr->size 0,20,24
PARAM_VALUE 3 pdata 3982419483518803968
PARAM_VALUE 3 pdata->size 0-255
PARAM_VALUE 4 flags 5
BUF_SIZE 0 cm_node (-1),40
BUF_SIZE 0 cm_node (-1),40
BUF_SIZE 0 cm_node->mpa_hdr.addr 24
DATA_SOURCE 0 cm_node $0
CONTAINER 0 -4544-72+0 $(-1)
CONTAINER 2 -4544-72+224 $(-1)
BIT_INFO 0 cm_node->mpa_frame.flags 0x20,0xff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cm_node->pdata.size 0-255
USER_DATA 3 pdata->size 0-255
USER_PTR 3 pdata->addr
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/irdma/cm.c irdma_send_mpa_request() -> (struct irdma_cm_core)->form_cm_frame()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->cm_core 4096-ptr_max
PARAM_VALUE 0 cm_node->cm_core->form_cm_frame 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-2
PARAM_VALUE 0 cm_node->mpa_hdr->addr->key 0-255
PARAM_VALUE 0 cm_node->mpa_hdr.addr 4096-ptr_max
PARAM_VALUE 0 cm_node->mpa_hdr.addr->flags 64
PARAM_VALUE 0 cm_node->mpa_hdr.addr->priv_data_len 0-u16max
PARAM_VALUE 0 cm_node->mpa_hdr.addr->rev 1-2
PARAM_VALUE 0 cm_node->mpa_hdr.addr->rtr_msg.ctrl_ird 32768-49151
PARAM_VALUE 0 cm_node->mpa_hdr.addr->rtr_msg.ctrl_ord 0-u16max
PARAM_VALUE 0 cm_node->mpa_hdr.size 20,24
PARAM_VALUE 0 cm_node->rcv_mark_en 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 0 cm_node->tcp_cntxt.max_snd_wnd 1-u32max
PARAM_VALUE 0 cm_node->tcp_cntxt.mss 0-u16max
PARAM_VALUE 1 options 0
PARAM_VALUE 2 hdr 4096-ptr_max
PARAM_VALUE 2 hdr->addr 4096-ptr_max
PARAM_VALUE 2 hdr->size 20,24
PARAM_VALUE 3 pdata 4096-ptr_max
PARAM_VALUE 4 flags 1
BUF_SIZE 0 cm_node (-1),1040
BUF_SIZE 0 cm_node (-1),1040
BUF_SIZE 0 cm_node->cm_core (-1),4568
BUF_SIZE 0 cm_node->mpa_hdr.addr 24
CAPPED_DATA 0 cm_node->loc_port 1
CAPPED_DATA 0 cm_node->tcp_cntxt.mss 1
CAPPED_DATA 0 cm_node->tcp_cntxt.rem_ack_num 1
DATA_SOURCE 0 cm_node $0
CONTAINER 0 -4544-72+0 $(-1)
CONTAINER 2 -4544-72+224 $(-1)
CONTAINER 3 -4544-72+176 $(-1)
NOSPEC 0 cm_node->tcp_cntxt.loc_seq_num
NOSPEC 0 cm_node->tcp_cntxt.mss
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->tcp_cntxt.loc_seq_num 0-u32max
USER_DATA 0 cm_node->tcp_cntxt.mss 536-u16max[c]
USER_DATA 0 cm_node->tcp_cntxt.rem_ack_num 0-u32max[c]
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/cm.c irdma_send_reset() -> (struct irdma_cm_core)->form_cm_frame()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->cm_core 4096-ptr_max
PARAM_VALUE 0 cm_node->cm_core->form_cm_frame 4096-ptr_max
PARAM_VALUE 1 options 0
PARAM_VALUE 2 hdr 0
PARAM_VALUE 3 pdata 0
PARAM_VALUE 4 flags 9
BUF_SIZE 0 cm_node (-1),40,1040
BUF_SIZE 0 cm_node (-1),40,1040
BUF_SIZE 0 cm_node->cm_core (-1),4568
DATA_SOURCE 0 cm_node $0
CONTAINER 0 -4544-72+0 $(-1)
NOSPEC 0 cm_node->tcp_cntxt.loc_seq_num
NOSPEC 0 cm_node->tcp_cntxt.mss
NOSPEC 0 cm_node->vlan_id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cm_node->iwqp->ietf_mem.size 0-287[c]
USER_DATA 0 cm_node->iwqp->sc_qp.user_pri 0-7[c]
USER_DATA 0 cm_node->loc_port 0-u16max[c]
USER_DATA 0 cm_node->ord_size 0-16382[c]
USER_DATA 0 cm_node->pdata.size 0-512
USER_DATA 0 cm_node->rem_port 0-u16max
USER_DATA 0 cm_node->tcp_cntxt.loc_seq_num 0-u32max
USER_DATA 0 cm_node->tcp_cntxt.mss 536-u16max[c]
USER_DATA 0 cm_node->tcp_cntxt.rem_ack_num 0-u32max
USER_DATA 0 cm_node->user_pri 0-7[c]
USER_DATA 0 cm_node->vlan_id 0-4095[c]
HALF_LOCKED2 &dev->puda_cq_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 irq

drivers/infiniband/hw/irdma/cm.c irdma_send_syn() -> (struct irdma_cm_core)->form_cm_frame()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->cm_core 4096-ptr_max
PARAM_VALUE 1 options 2932589171643772928
PARAM_VALUE 1 options->addr 8515430466172440576
PARAM_VALUE 1 options->size 8
PARAM_VALUE 2 hdr 0
PARAM_VALUE 3 pdata 0
PARAM_VALUE 4 flags 2-3
BUF_SIZE 0 cm_node (-1),56,80,88,120,160,1040
BUF_SIZE 0 cm_node (-1),56,80,88,120,160,1040
BUF_SIZE 0 cm_node->apbvt_entry (-1),24
BUF_SIZE 0 cm_node->cm_core (-1),4568
DATA_SOURCE 0 cm_node $0
CONTAINER 0 -4544-72+0 $(-1)
BIT_INFO 4 flags 0x2,0x3
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 &dev->puda_cq_lock
HALF_LOCKED2 irq