Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/hw/mlx5/cq.c, line 764
- drivers/infiniband/hw/mlx5/qp.c
- drivers/infiniband/hw/mlx5/srq.c, line 84
Smatch caller information:
drivers/infiniband/hw/mlx5/qp.c _create_user_qp() -> mlx5_ib_db_map_user()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | context->bfregi.lib_uar_dyn | 1 |
| PARAM_VALUE | 2 | attr_id | 4098 |
| PARAM_VALUE | 4 | db | 4096-ptr_max |
| DATA_SOURCE | 1 | attrs | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | virt | 0-u64max[u] |
drivers/infiniband/hw/mlx5/qp.c create_user_rq() -> mlx5_ib_db_map_user()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | attrs | 0 |
| PARAM_VALUE | 2 | attr_id | 0 |
| PARAM_VALUE | 4 | db | 4096-ptr_max |
| CAPABLE | 0 | 17 | |
| USER_DATA | 3 | virt | 0-u64max |
drivers/infiniband/hw/mlx5/srq.c create_srq_user() -> mlx5_ib_db_map_user()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | context->cqe_version | 0-15 |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 2 | attr_id | 4098 |
| PARAM_VALUE | 4 | db | 4096-ptr_max |
| DATA_SOURCE | 1 | attrs | r rdma_udata_to_uverbs_attr_bundle |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | virt | 0-u64max |
| HALF_LOCKED2 | &devr->srq_lock | ||
| HALF_LOCKED2 | global &device_list_mutex |
drivers/infiniband/hw/mlx5/cq.c create_cq_user() -> mlx5_ib_db_map_user()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device->num_comp_vectors | 1-4294967295 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | attr_id | 4099 |
| PARAM_VALUE | 4 | db | 4096-ptr_max |
| BUF_SIZE | 1 | attrs->ufile | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | attrs->ufile | 1 |
| DATA_SOURCE | 1 | attrs | $8 |
| NOSPEC | 1 | attrs->ucore.inlen | |
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 1 | attrs->ucore.inlen | 4-120[c] |
| USER_DATA | 1 | attrs->ucore.outlen | 0-524280 |
| USER_DATA | 3 | virt | 0-u64max |