Defined in 3 files as a function:
- drivers/infiniband/hw/mlx4/mr.c, line 40 (as a function)
- drivers/infiniband/hw/mlx4/qp.c, line 3279 (as a function)
- drivers/infiniband/hw/mthca/mthca_provider.c, line 813 (as a function)
Referenced in 3 files:
- drivers/infiniband/hw/mlx4/mr.c
- drivers/infiniband/hw/mlx4/qp.c, line 3296
- drivers/infiniband/hw/mthca/mthca_provider.c
Smatch caller information:
drivers/infiniband/hw/mthca/mthca_provider.c mthca_get_dma_mr() -> convert_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | acc | 1,6-7 |
| DATA_SOURCE | 0 | acc | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &device->client_data_rwsem | ||
| HALF_LOCKED2 | &devr->cq_lock | ||
| HALF_LOCKED2 | &ibudev->xrcd_tree_mutex | ||
| HALF_LOCKED2 | &iser_conn->state_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &device_list_mutex | ||
| HALF_LOCKED2 | global &devices_rwsem | ||
| HALF_LOCKED2 | global &ig.device_list_mutex |
drivers/infiniband/hw/mthca/mthca_provider.c mthca_reg_user_mr() -> convert_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | acc | 0-1073741822 |
| DATA_SOURCE | 0 | acc | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | acc | 2-1073741822 |
drivers/infiniband/hw/mlx4/qp.c set_reg_seg() -> convert_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->sq.lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct mlx4_ib_wq)->lock |
drivers/infiniband/hw/mlx4/mr.c mlx4_ib_get_dma_mr() -> convert_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | acc | 1,6-7 |
| DATA_SOURCE | 0 | acc | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &device->client_data_rwsem | ||
| HALF_LOCKED2 | &devr->cq_lock | ||
| HALF_LOCKED2 | &ibudev->xrcd_tree_mutex | ||
| HALF_LOCKED2 | &iser_conn->state_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &device_list_mutex | ||
| HALF_LOCKED2 | global &devices_rwsem | ||
| HALF_LOCKED2 | global &ig.device_list_mutex |
drivers/infiniband/hw/mlx4/mr.c mlx4_ib_reg_user_mr() -> convert_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | acc | 0-1073741822 |
| DATA_SOURCE | 0 | acc | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | acc | 2-1073741822 |
drivers/infiniband/hw/mlx4/mr.c mlx4_ib_rereg_user_mr() -> convert_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | acc | $5 |
| USER_DATA | 0 | acc | s32min-s32max |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/hw/mlx4/mr.c mlx4_ib_rereg_user_mr() -> convert_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | acc | $5 |
| USER_DATA | 0 | acc | s32min-s32max |
| HALF_LOCKED2 | &file->device->disassociate_srcu |