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