Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/irdma/cm.c irdma_handle_rcv_mpa() -> irdma_passive_open_err()

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->retrans_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_node->send_entry 0
PARAM_VALUE 0 cm_node->state 6
PARAM_VALUE 1 reset 1
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
CAPPED_DATA 0 cm_node->tcp_cntxt.loc_seq_num 1
DATA_SOURCE 0 cm_node $0
NOSPEC 0 cm_node->tcp_cntxt.mss
NOSPEC 0 cm_node->vlan_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->rem_port 0-u16max
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 bh
TYPE_LOCK (struct irdma_sc_dev)->puda_cq_lock

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

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->retrans_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_node->send_entry 0
PARAM_VALUE 0 cm_node->state 2-3,6
PARAM_VALUE 1 reset 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
NOCHECK_CALL
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/cm.c irdma_handle_syn_pkt() -> irdma_passive_open_err()

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->listener 4096-ptr_max
PARAM_VALUE 0 cm_node->listener->backlog s32min-2147483646
PARAM_VALUE 0 cm_node->listener->pend_accepts_cnt.counter (-2147483647)-s32max
PARAM_VALUE 0 cm_node->state 2
PARAM_VALUE 1 reset 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->listener->backlog 1
CAPPED_DATA 0 cm_node->loc_port 1
DATA_SOURCE 0 cm_node $0
CONSTRAINT 0 cm_node->listener->backlog <4136
NOSPEC 0 cm_node->vlan_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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/cm.c irdma_handle_syn_pkt() -> irdma_passive_open_err()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->apbvt_entry->hlist->next->pprev 1-u64max
PARAM_VALUE 0 cm_node->apbvt_entry->hlist.next 0
PARAM_VALUE 0 cm_node->apbvt_entry->hlist.next->pprev 1-u64max
PARAM_VALUE 0 cm_node->apbvt_entry->hlist.pprev 0
PARAM_VALUE 0 cm_node->cm_core->ht_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_node->cm_core->listen_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_node->iwdev->cm_core.apbvt_lock.rlock.dep_map->name 0-255
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->iwdev->vsi.ilq->qp.qp_uk.swqe_polarity 0-1
PARAM_VALUE 0 cm_node->iwdev->vsi.ilq->txpend.next->next 4096-ptr_max
PARAM_VALUE 0 cm_node->iwdev->vsi.ilq->txpend.next->prev 4096-ptr_max
PARAM_VALUE 0 cm_node->iwdev->vsi.ilq->txpend.prev->next->next 4096-ptr_max
PARAM_VALUE 0 cm_node->list->next->pprev 1-u64max
PARAM_VALUE 0 cm_node->list.next->pprev 1-u64max
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->send_entry->sqbuf 4096-ptr_max
PARAM_VALUE 0 cm_node->state 19
PARAM_VALUE 0 cm_node->tcp_cntxt.mss 536-u16max
PARAM_VALUE 0 *cm_node->iwqp->iwdev->rf->qp_table 0
PARAM_VALUE 1 reset 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->tcp_cntxt.loc_seq_num
NOSPEC 0 cm_node->tcp_cntxt.mss
NOSPEC 0 cm_node->vlan_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->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]
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_handle_syn_pkt() -> irdma_passive_open_err()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->ah 0
PARAM_VALUE 0 cm_node->cm_core 4096-ptr_max
PARAM_VALUE 0 cm_node->iwdev->rf->arp_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_node->iwdev->rf->next_arp_index 0-65
PARAM_VALUE 0 cm_node->iwdev->rf->rsrc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_node->listener 4096-ptr_max
PARAM_VALUE 0 cm_node->state 2
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 reset 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->iwdev->rf->arp_table_size 1
CAPPED_DATA 0 cm_node->loc_port 1
CAPPED_DATA 0 cm_node->tcp_cntxt.mss 1
DATA_SOURCE 0 cm_node $0
NOSPEC 0 cm_node->tcp_cntxt.mss
NOSPEC 0 cm_node->vlan_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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.mss 536-u16max[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_handle_synack_pkt() -> irdma_passive_open_err()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->state 9
PARAM_VALUE 1 reset 1
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
NOCHECK_CALL
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/cm.c irdma_handle_tcp_options() -> irdma_passive_open_err()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->state 2-3
PARAM_VALUE 0 cm_node->tcp_cntxt.mss 536-u16max
PARAM_VALUE 1 reset 1
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
CAPPED_DATA 0 cm_node->tcp_cntxt.mss 1
DATA_SOURCE 0 cm_node $0
NOSPEC 0 cm_node->tcp_cntxt.mss
NOSPEC 0 cm_node->vlan_id
HARD_MAX 0 cm_node->state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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.mss 536-u16max[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