Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/hw/hfi1/mad.c, line 256
- drivers/infiniband/hw/hfi1/qp.c, line 289
- drivers/infiniband/hw/hfi1/verbs.c
Smatch caller information:
drivers/infiniband/hw/hfi1/verbs.c hfi1_check_ah() -> dd_from_ppd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ppd | 4096-ptr_max |
| DATA_SOURCE | 0 | ppd | r ppd_from_ibp |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ibp->rvp.lock | ||
| HALF_LOCKED2 | &qp->r_lock | ||
| HALF_LOCKED2 | &qp->s_hlock | ||
| HALF_LOCKED2 | &qp->s_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | rcu_read |
drivers/infiniband/hw/hfi1/verbs.c hfi1_notify_new_ah() -> dd_from_ppd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ppd | 4096-ptr_max |
| DATA_SOURCE | 0 | ppd | r ppd_from_ibp |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/hw/hfi1/mad.c hfi1_create_qp0_ah() -> dd_from_ppd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ppd | 4096-ptr_max |
| DATA_SOURCE | 0 | ppd | r ppd_from_ibp |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &ibp->rvp.lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_ibport)->lock |
drivers/infiniband/hw/hfi1/qp.c hfi1_setup_wqe() -> dd_from_ppd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ppd | 4096-ptr_max |
| DATA_SOURCE | 0 | ppd | r ppd_from_ibp |
| TASK_NOT_RUNNING | |||
| LOCK2 | &qp->s_hlock | ||
| HALF_LOCKED2 | &conn->send_lock | ||
| HALF_LOCKED2 | &gsi->lock | ||
| HALF_LOCKED2 | &mr->mutex | ||
| HALF_LOCKED2 | &rdma->sq_sem | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct rvt_qp)->s_hlock |