Open Menu /

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_cleanup_retrans_entry() -> irdma_free_retrans_entry()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->cm_core->form_cm_frame 4096-ptr_max
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 0 cm_node->send_entry (-1),56
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
PREEMPT_ADD <- disables preempt
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->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 flags
LOCK2 0 &cm_node->retrans_list_lock
HALF_LOCKED2 &dev->puda_cq_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct irdma_cm_node)->retrans_list_lock

drivers/infiniband/hw/irdma/cm.c irdma_cm_timer_tick() -> irdma_free_retrans_entry()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->close_entry 0,4096-ptr_max
PARAM_VALUE 0 cm_node->send_entry 4096-ptr_max
PARAM_VALUE 0 cm_node->state 11
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &cm_node->retrans_list_lock
TYPE_LOCK (struct irdma_cm_node)->retrans_list_lock

drivers/infiniband/hw/irdma/cm.c irdma_cm_timer_tick() -> irdma_free_retrans_entry()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->close_entry 0,4096-ptr_max
PARAM_VALUE 0 cm_node->send_entry 1-u64max
PARAM_VALUE 0 cm_node->state 11,19
BIT_INFO 0 cm_node->state 0x3,0x1b
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &cm_node->retrans_list_lock
TYPE_LOCK (struct irdma_cm_node)->retrans_list_lock

drivers/infiniband/hw/irdma/cm.c irdma_cm_timer_tick() -> irdma_free_retrans_entry()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->close_entry 0,4096-ptr_max
PARAM_VALUE 0 cm_node->send_entry 4096-ptr_max
PARAM_VALUE 0 cm_node->state 0-10,12-18,20-u32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &cm_node->retrans_list_lock
TYPE_LOCK (struct irdma_cm_node)->retrans_list_lock

drivers/infiniband/hw/irdma/cm.c irdma_cm_timer_tick() -> irdma_free_retrans_entry()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->close_entry 0,4096-ptr_max
PARAM_VALUE 0 cm_node->retrans_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_node->send_entry 4096-ptr_max
PARAM_VALUE 0 cm_node->send_entry->retranscount 1-u32max
PARAM_VALUE 0 cm_node->send_entry->retrycount 1-u32max
PARAM_VALUE 0 cm_node->send_entry->send_retrans 0
PARAM_VALUE 0 cm_node->state 0-10,12-18,20-u32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &cm_node->retrans_list_lock
TYPE_LOCK (struct irdma_cm_node)->retrans_list_lock