Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/infiniband/core/restrack.c, line 464
- drivers/infiniband/core/uverbs_std_types_comp_cntr.c, line 27
- drivers/infiniband/core/uverbs_std_types_dmah.c, line 28
- drivers/infiniband/core/verbs.c
Smatch caller information:
drivers/infiniband/core/verbs.c ib_dealloc_pd_user() -> rdma_restrack_commit_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &device_list_mutex | ||
| HALF_LOCKED2 | global &ig.device_list_mutex |
drivers/infiniband/core/verbs.c ib_destroy_cq_user() -> rdma_restrack_commit_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &smcibdev->mutex |
drivers/infiniband/core/verbs.c ib_destroy_qp_user() -> rdma_restrack_commit_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/core/verbs.c ib_destroy_srq_user() -> rdma_restrack_commit_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/core/uverbs_std_types_comp_cntr.c uverbs_free_comp_cntr() -> rdma_restrack_commit_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| NOCHECK_CALL |
drivers/infiniband/core/uverbs_std_types_dmah.c uverbs_free_dmah() -> rdma_restrack_commit_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| NOCHECK_CALL |