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_build_mpa_v2() -> irdma_build_mpa_v1()
| 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 |
| PARAM_VALUE | 0 | cm_node->mpa_frame_rev | 2 |
| PARAM_VALUE | 0 | cm_node->state | 0-17,19-u32max |
| PARAM_VALUE | 1 | start_addr | 1-ptr_max |
| PARAM_VALUE | 2 | mpa_key | 0-1 |
| BUF_SIZE | 0 | cm_node | (-1),16,32,40,120,568,1040,1080 |
| BUF_SIZE | 0 | cm_node | (-1),16,32,40,120,568,1040,1080 |
| BUF_SIZE | 0 | cm_node->cm_core | (-1),4568 |
| BUF_SIZE | 0 | cm_node->mpa_hdr.addr | (-1),24 |
| BUF_SIZE | 1 | start_addr | 12,24,32-287 |
| BUF_SIZE | 1 | start_addr | 12,24,32-287 |
| DATA_SOURCE | 0 | cm_node | $0 |
| DATA_SOURCE | 1 | start_addr | $1 |
| DATA_SOURCE | 2 | mpa_key | $2 |
| NOSPEC | 0 | cm_node->tcp_cntxt.loc_seq_num | |
| NOSPEC | 0 | cm_node->tcp_cntxt.mss | |
| NOSPEC | 0 | cm_node->vlan_id | |
| HARD_MAX | 2 | mpa_key | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cm_node->loc_port | 0-u16max[c] |
| USER_DATA | 0 | cm_node->pdata.size | 0-255 |
| 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[c] |
| USER_DATA | 0 | cm_node->user_pri | 0-7[c] |
| USER_DATA | 0 | cm_node->vlan_id | 0-4095[c] |
| UNITS | 1 | start_addr | unit_byte |
| HALF_LOCKED2 | &dev->puda_cq_lock | ||
| HALF_LOCKED2 | irq |
drivers/infiniband/hw/irdma/cm.c irdma_cm_build_mpa_frame() -> irdma_build_mpa_v1()
| 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 |
| PARAM_VALUE | 0 | cm_node->mpa_frame_rev | 1 |
| PARAM_VALUE | 0 | cm_node->state | 0-17,19-u32max |
| PARAM_VALUE | 1 | start_addr | 1-ptr_max |
| PARAM_VALUE | 2 | mpa_key | 0-1 |
| BUF_SIZE | 0 | cm_node | (-1),16,32,40,120,568,1040,1080 |
| BUF_SIZE | 0 | cm_node | (-1),16,32,40,120,568,1040,1080 |
| BUF_SIZE | 0 | cm_node->cm_core | (-1),4568 |
| BUF_SIZE | 0 | cm_node->mpa_hdr.addr | (-1),24 |
| BUF_SIZE | 1 | start_addr | 12,24,32-287 |
| DATA_SOURCE | 0 | cm_node | $0 |
| DATA_SOURCE | 2 | mpa_key | $2 |
| NOSPEC | 0 | cm_node->tcp_cntxt.loc_seq_num | |
| NOSPEC | 0 | cm_node->tcp_cntxt.mss | |
| NOSPEC | 0 | cm_node->vlan_id | |
| HARD_MAX | 2 | mpa_key | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cm_node->loc_port | 0-u16max[c] |
| USER_DATA | 0 | cm_node->pdata.size | 0-255 |
| 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[c] |
| USER_DATA | 0 | cm_node->user_pri | 0-7[c] |
| USER_DATA | 0 | cm_node->vlan_id | 0-4095[c] |
| UNITS | 1 | start_addr | unit_byte |
| HALF_LOCKED2 | &dev->puda_cq_lock | ||
| HALF_LOCKED2 | irq |