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_receive_ilq() -> irdma_process_pkt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cm_node | 4096-ptr_max |
| PARAM_VALUE | 0 | cm_node->state | 0-10,12-u32max |
| PARAM_VALUE | 1 | rbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | rbuf->hdrlen | 34-118 |
| PARAM_VALUE | 1 | rbuf->iph | 4096-ptr_max |
| PARAM_VALUE | 1 | rbuf->iph->flow_lbl | 4096-ptr_max |
| PARAM_VALUE | 1 | rbuf->mem.va | 4096-ptr_max |
| PARAM_VALUE | 1 | rbuf->tcph | 4096-ptr_max |
| PARAM_VALUE | 1 | rbuf->tcphlen | 0,4-60 |
| PARAM_VALUE | 1 | rbuf->vsi | 4096-ptr_max |
| PARAM_VALUE | 1 | rbuf->vsi->dev | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 1 | rbuf | $1 |
| FUZZY_MAX | 0 | cm_node->state | 2 |
| 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->user_pri | 0-7[c] |
| USER_DATA | 0 | cm_node->vlan_id | 0-4095[c] |
| LOCK2 | &dev->puda_cq_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | bh | ||
| TYPE_LOCK | (struct irdma_sc_dev)->puda_cq_lock |