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_add_conn_est_qh() -> irdma_get_addr_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cm_node | 4096-ptr_max |
| PARAM_VALUE | 1 | cm_info | 2265560758746746880 |
| 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->cm_core | (-1),4568 |
| 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] |
| HALF_LOCKED2 | &dev->puda_cq_lock | ||
| HALF_LOCKED2 | irq |
drivers/infiniband/hw/irdma/cm.c irdma_destroy_connection() -> irdma_get_addr_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cm_node | 4096-ptr_max |
| PARAM_VALUE | 0 | cm_node->apbvt_set | 0 |
| PARAM_VALUE | 0 | cm_node->close_entry | 0 |
| PARAM_VALUE | 0 | cm_node->close_entry->sqbuf->hw_iwarp_state | 6 |
| PARAM_VALUE | 0 | cm_node->close_entry->sqbuf->hw_tcp_state | 1 |
| PARAM_VALUE | 0 | cm_node->close_entry->sqbuf->ibqp_state | 6 |
| PARAM_VALUE | 0 | cm_node->close_entry->sqbuf->last_aeq | 1537 |
| 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->cm_core->ht_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cm_node->iwqp->cm_id | 0 |
| PARAM_VALUE | 0 | cm_node->iwqp->cm_node | 0 |
| 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->listener | 0 |
| PARAM_VALUE | 1 | cm_info | 1849408190123356160 |
| BUF_SIZE | 0 | cm_node | (-1),16,32,40,56,80,88,120,160,568,1040,1080 |
| BUF_SIZE | 0 | cm_node | (-1),16,32,40,56,80,88,120,160,568,1040,1080 |
| BUF_SIZE | 0 | cm_node->apbvt_entry | (-1),24 |
| BUF_SIZE | 0 | cm_node->cm_core | (-1),4568 |
| DATA_SOURCE | 0 | cm_node | $0 |
| NOSPEC | 0 | cm_node->iwqp->ietf_mem.size | |
| NOSPEC | 0 | cm_node->tcp_cntxt.loc_seq_num | |
| NOSPEC | 0 | cm_node->tcp_cntxt.mss | |
| NOSPEC | 0 | cm_node->vlan_id | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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 |
| USER_DATA | 0 | cm_node->lsmm_size | 0-279[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] |
| NO_OVERFLOW_SIMPLE | 0 | cm_node->iwqp->ietf_mem.pa | |
| NO_OVERFLOW_SIMPLE | 0 | cm_node->listener->apbvt_entry | |
| HALF_LOCKED2 | &dev->puda_cq_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &cm_node->retrans_list_lock |
drivers/infiniband/hw/irdma/cm.c irdma_destroy_connection() -> irdma_get_addr_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cm_node | 4096-ptr_max |
| PARAM_VALUE | 0 | cm_node->apbvt_set | 0 |
| PARAM_VALUE | 0 | cm_node->close_entry | 0 |
| PARAM_VALUE | 0 | cm_node->close_entry->sqbuf->hw_iwarp_state | 6 |
| PARAM_VALUE | 0 | cm_node->close_entry->sqbuf->hw_tcp_state | 1 |
| PARAM_VALUE | 0 | cm_node->close_entry->sqbuf->ibqp_state | 6 |
| PARAM_VALUE | 0 | cm_node->close_entry->sqbuf->last_aeq | 1537 |
| 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->cm_core->ht_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cm_node->iwqp | 0 |
| PARAM_VALUE | 0 | cm_node->iwqp->cm_id | 0 |
| PARAM_VALUE | 0 | cm_node->iwqp->cm_node | 0 |
| 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->listener | 0,4096-ptr_max |
| PARAM_VALUE | 1 | cm_info | 1849408190123356160 |
| PARAM_VALUE | 1 | cm_info->backlog | 0 |
| PARAM_VALUE | 1 | cm_info->cm_id | 0 |
| PARAM_VALUE | 1 | cm_info->tos | 0 |
| PARAM_VALUE | 1 | cm_info->user_pri | 0 |
| BUF_SIZE | 0 | cm_node | (-1),16,32,40,56,80,88,120,160,568,1040,1080 |
| BUF_SIZE | 0 | cm_node | (-1),16,32,40,56,80,88,120,160,568,1040,1080 |
| BUF_SIZE | 0 | cm_node->apbvt_entry | (-1),24 |
| BUF_SIZE | 0 | cm_node->cm_core | (-1),4568 |
| CAPPED_DATA | 0 | cm_node->listener | 1 |
| DATA_SOURCE | 0 | cm_node | $0 |
| NOSPEC | 0 | cm_node->iwqp->ietf_mem.size | |
| NOSPEC | 0 | cm_node->tcp_cntxt.loc_seq_num | |
| NOSPEC | 0 | cm_node->tcp_cntxt.mss | |
| NOSPEC | 0 | cm_node->vlan_id | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->ietf_mem.size | 0-287[c] |
| USER_DATA | 0 | cm_node->iwqp->sc_qp.user_pri | 0-7[c] |
| USER_DATA | 0 | cm_node->listener->loc_port | 0-u16max |
| USER_DATA | 0 | cm_node->listener->user_pri | 0-7[c] |
| USER_DATA | 0 | cm_node->loc_port | 0-u16max |
| USER_DATA | 0 | cm_node->lsmm_size | 0-279[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 | cm_info->loc_port | 0-u16max |
| USER_DATA | 1 | cm_info->rem_port | 0-u16max |
| USER_DATA | 1 | cm_info->vlan_id | 0-4095[c] |
| NO_OVERFLOW_SIMPLE | 0 | cm_node->iwqp->ietf_mem.pa | |
| NO_OVERFLOW_SIMPLE | 0 | cm_node->listener->apbvt_entry | |
| HALF_LOCKED2 | &dev->puda_cq_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &cm_node->retrans_list_lock |