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_handle_rcv_mpa() -> irdma_parse_mpa()

Type Parameter Key Value
PARAM_VALUE 0 cm_node 4096-ptr_max
PARAM_VALUE 0 cm_node->state 6,8
PARAM_VALUE 2 type 6062790583375593472
PARAM_VALUE 3 len 1-u16max
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
HARD_MAX 0 cm_node->state 8
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.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]
UNITS 1 buf unit_byte
UNITS 3 len unit_byte
LOCK2 &dev->puda_cq_lock
LOCK2 irq
HALF_LOCKED2 bh
TYPE_LOCK (struct irdma_sc_dev)->puda_cq_lock