Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/efa/efa_verbs.c efa_register_mr() -> efa_com_register_mr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | edev | 4096-ptr_max |
| PARAM_VALUE | 1 | params | 7156249805947297792 |
| PARAM_VALUE | 1 | params->indirect | 0 |
| PARAM_VALUE | 1 | params->inline_pbl | 1 |
| PARAM_VALUE | 1 | params->page_num | 0-4 |
| PARAM_VALUE | 1 | params->page_shift | 0-64 |
| PARAM_VALUE | 1 | params->pbl.pbl.address.mem_addr_high | 0 |
| PARAM_VALUE | 1 | params->pbl.pbl.address.mem_addr_low | 0 |
| PARAM_VALUE | 1 | params->pbl.pbl.length | 0 |
| PARAM_VALUE | 2 | result | 1335947253782413312 |
| PARAM_VALUE | 2 | result->ic_info.rdma_read_ic_id | 0 |
| PARAM_VALUE | 2 | result->ic_info.rdma_read_ic_id_valid | 0 |
| PARAM_VALUE | 2 | result->ic_info.rdma_recv_ic_id | 0 |
| PARAM_VALUE | 2 | result->ic_info.rdma_recv_ic_id_valid | 0 |
| PARAM_VALUE | 2 | result->ic_info.recv_ic_id | 0 |
| PARAM_VALUE | 2 | result->ic_info.recv_ic_id_valid | 0 |
| PARAM_VALUE | 2 | result->l_key | 0 |
| PARAM_VALUE | 2 | result->r_key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | params->iova | 0-u64max |
| USER_DATA | 1 | params->mr_length_in_bytes | 0-u64max[c] |
| USER_DATA | 1 | params->permissions | 0-255 |
drivers/infiniband/hw/efa/efa_verbs.c efa_register_mr() -> efa_com_register_mr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | edev | 4096-ptr_max |
| PARAM_VALUE | 1 | params | 7156249805947297792 |
| PARAM_VALUE | 1 | params->indirect | 0-1 |
| PARAM_VALUE | 1 | params->inline_pbl | 0 |
| PARAM_VALUE | 1 | params->page_num | 5-u32max |
| PARAM_VALUE | 1 | params->page_shift | 0-64 |
| PARAM_VALUE | 2 | result | 1335947253782413312 |
| PARAM_VALUE | 2 | result->ic_info.rdma_read_ic_id | 0 |
| PARAM_VALUE | 2 | result->ic_info.rdma_read_ic_id_valid | 0 |
| PARAM_VALUE | 2 | result->ic_info.rdma_recv_ic_id | 0 |
| PARAM_VALUE | 2 | result->ic_info.rdma_recv_ic_id_valid | 0 |
| PARAM_VALUE | 2 | result->ic_info.recv_ic_id | 0 |
| PARAM_VALUE | 2 | result->ic_info.recv_ic_id_valid | 0 |
| PARAM_VALUE | 2 | result->l_key | 0 |
| PARAM_VALUE | 2 | result->r_key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | params->iova | 0-u64max |
| USER_DATA | 1 | params->mr_length_in_bytes | 0-u64max[c] |
| USER_DATA | 1 | params->permissions | 0-255 |