Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/hw/irdma/cm.c
- drivers/infiniband/hw/irdma/hw.c, line 371
- drivers/infiniband/hw/irdma/verbs.c, line 1875
Smatch caller information:
drivers/infiniband/hw/irdma/cm.c irdma_handle_fin_pkt() -> irdma_schedule_cm_timer()
| 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->retrans_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cm_node->send_entry | 0 |
| PARAM_VALUE | 0 | cm_node->state | 15 |
| PARAM_VALUE | 0 | *cm_node->pdata_buf | 0-255 |
| PARAM_VALUE | 1 | sqbuf | 0 |
| PARAM_VALUE | 2 | type | 1 |
| PARAM_VALUE | 3 | send_retrans | 1 |
| PARAM_VALUE | 4 | close_when_complete | 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->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] |
| 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_fin() -> irdma_schedule_cm_timer()
| 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_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cm_node->state | 16 |
| PARAM_VALUE | 0 | *cm_node->pdata_buf | 0-255 |
| PARAM_VALUE | 1 | sqbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->mem.va | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | sqbuf->scratch | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->tcphlen | 20,28 |
| PARAM_VALUE | 1 | sqbuf->totallen | 0-65553 |
| PARAM_VALUE | 2 | type | 0 |
| PARAM_VALUE | 3 | send_retrans | 1 |
| PARAM_VALUE | 4 | close_when_complete | 0 |
| 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 | 1 | sqbuf->scratch | (-1),1040 |
| CAPPED_DATA | 1 | sqbuf->totallen | 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 | |||
| 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] |
| USER_DATA | 1 | sqbuf->totallen | 20-365[c] |
| HALF_LOCKED2 | &dev->puda_cq_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | irq |
drivers/infiniband/hw/irdma/cm.c irdma_send_mpa_reject() -> irdma_schedule_cm_timer()
| 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 | 12 |
| PARAM_VALUE | 0 | cm_node->tcp_cntxt.client | 0 |
| PARAM_VALUE | 1 | sqbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->mem.va | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | sqbuf->scratch | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->tcphlen | 20,28 |
| PARAM_VALUE | 1 | sqbuf->totallen | 0-65553 |
| PARAM_VALUE | 2 | type | 0 |
| PARAM_VALUE | 3 | send_retrans | 1 |
| PARAM_VALUE | 4 | close_when_complete | 0 |
| BUF_SIZE | 0 | cm_node | (-1),40 |
| BUF_SIZE | 0 | cm_node | (-1),40 |
| BUF_SIZE | 0 | cm_node->mpa_hdr.addr | 24 |
| BUF_SIZE | 1 | sqbuf->scratch | (-1),40 |
| CAPPED_DATA | 1 | sqbuf->totallen | 1 |
| DATA_SOURCE | 0 | cm_node | $0 |
| 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 | 0 | cm_node->tcp_cntxt.loc_seq_num | 0-u32max |
| USER_DATA | 1 | sqbuf->totallen | 20-365[c] |
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/irdma/cm.c irdma_send_mpa_request() -> irdma_schedule_cm_timer()
| 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 | sqbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->mem.va | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | sqbuf->scratch | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->tcphlen | 20,28 |
| PARAM_VALUE | 1 | sqbuf->totallen | 0-65553 |
| PARAM_VALUE | 2 | type | 0 |
| PARAM_VALUE | 3 | send_retrans | 1 |
| PARAM_VALUE | 4 | close_when_complete | 0 |
| 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 |
| BUF_SIZE | 1 | sqbuf->scratch | (-1),1040 |
| 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 |
| CAPPED_DATA | 1 | sqbuf->totallen | 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 | |||
| 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] |
| USER_DATA | 1 | sqbuf->totallen | 20-365[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() -> irdma_schedule_cm_timer()
| 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_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sqbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->mem.va | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | sqbuf->scratch | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->tcphlen | 20,28 |
| PARAM_VALUE | 1 | sqbuf->totallen | 0-65553 |
| PARAM_VALUE | 2 | type | 0 |
| PARAM_VALUE | 3 | send_retrans | 0 |
| PARAM_VALUE | 4 | close_when_complete | 1 |
| 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 |
| BUF_SIZE | 1 | sqbuf->scratch | (-1),40,1040 |
| CAPPED_DATA | 1 | sqbuf->totallen | 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 | |
| NOSPEC | 1 | sqbuf->totallen | |
| 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] |
| USER_DATA | 1 | sqbuf->totallen | 20-365[c] |
| HALF_LOCKED2 | &dev->puda_cq_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | irq |
drivers/infiniband/hw/irdma/cm.c irdma_send_syn() -> irdma_schedule_cm_timer()
| 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_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sqbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->mem.va | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | sqbuf->scratch | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf->tcphlen | 20,28 |
| PARAM_VALUE | 1 | sqbuf->totallen | 0-65553 |
| PARAM_VALUE | 2 | type | 0 |
| PARAM_VALUE | 3 | send_retrans | 1 |
| PARAM_VALUE | 4 | close_when_complete | 0 |
| 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 |
| BUF_SIZE | 1 | sqbuf->scratch | (-1),56,80,88,120,160,1040 |
| CAPPED_DATA | 1 | sqbuf->totallen | 1 |
| DATA_SOURCE | 0 | cm_node | $0 |
| 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->tcp_cntxt.loc_seq_num | 0-u32max |
| USER_DATA | 0 | cm_node->user_pri | 0-7[c] |
| USER_DATA | 0 | cm_node->vlan_id | 0-4095[c] |
| USER_DATA | 1 | sqbuf->totallen | 20-365[c] |
| HALF_LOCKED2 | &dev->puda_cq_lock | ||
| HALF_LOCKED2 | irq |
drivers/infiniband/hw/irdma/verbs.c irdma_modify_qp() -> irdma_schedule_cm_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cm_node | 4096-ptr_max |
| PARAM_VALUE | 1 | sqbuf | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 1 |
| PARAM_VALUE | 3 | send_retrans | 1 |
| PARAM_VALUE | 4 | close_when_complete | 0 |
| CAPPED_DATA | 1 | sqbuf->iwarp_state | 1 |
| DATA_SOURCE | 1 | sqbuf | r to_iwqp |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/irdma/hw.c irdma_process_aeq() -> irdma_schedule_cm_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type | 1 |
| PARAM_VALUE | 3 | send_retrans | 1 |
| PARAM_VALUE | 4 | close_when_complete | 0 |
| BUF_SIZE | 1 | sqbuf | 0 |
| BIT_INFO | 1 | sqbuf | 0x0,0x0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh |