Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/cm.c irdma_create_event() -> irdma_cm_post_event()

Type Parameter Key Value
PARAM_VALUE 0 event 4096-ptr_max
PARAM_VALUE 0 event->cm_info.cm_id 1-u64max
PARAM_VALUE 0 event->cm_node 4096-ptr_max
PARAM_VALUE 0 event->cm_node->cm_id 1-u64max
PARAM_VALUE 0 event->cm_node->state 8-11,19
PARAM_VALUE 0 event->type 0,2,5,7,9
BUF_SIZE 0 event 160
BUF_SIZE 0 event->cm_node (-1),1040
DATA_SOURCE 0 event r _kzalloc_noprof
NOSPEC 0 event->cm_node->vlan_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 event->cm_info.loc_port 0-u16max[c]
USER_DATA 0 event->cm_info.rem_port 0-u16max
USER_DATA 0 event->cm_node->loc_port 0-u16max[c]
USER_DATA 0 event->cm_node->ord_size 0-16382[c]
USER_DATA 0 event->cm_node->pdata.size 0-512
USER_DATA 0 event->cm_node->rem_port 0-u16max
USER_DATA 0 event->cm_node->tcp_cntxt.loc_seq_num 0-u32max
USER_DATA 0 event->cm_node->tcp_cntxt.mss 536-u16max[c]
USER_DATA 0 event->cm_node->tcp_cntxt.rem_ack_num 0-u32max
USER_DATA 0 event->cm_node->user_pri 0-7[c]
USER_DATA 0 event->cm_node->vlan_id 0-4095[c]
HALF_LOCKED2 &dev->puda_cq_lock
HALF_LOCKED2 irq