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 |