Defined in 1 files as a function:
Referenced in 4 files:
- drivers/infiniband/hw/hfi1/driver.c, line 1662
- drivers/infiniband/hw/hfi1/hfi.h, line 1588
- drivers/infiniband/hw/hfi1/tid_rdma.c, line 2876
- drivers/infiniband/hw/hfi1/verbs.c
Smatch caller information:
drivers/infiniband/hw/hfi1/verbs.c hfi1_9B_get_sc5() -> rhf_dc_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | rhf | $1 |
| TASK_NOT_RUNNING | |||
| LOCK2 | &packet->qp->r_lock | ||
| LOCK2 | flags | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct rvt_qp)->r_lock |
drivers/infiniband/hw/hfi1/verbs.c hfi1_ib_rcv() -> rhf_dc_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| TASK_NOT_RUNNING |
drivers/infiniband/hw/hfi1/verbs.c hfi1_kdeth_eager_rcv() -> rhf_dc_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| TASK_NOT_RUNNING |
drivers/infiniband/hw/hfi1/verbs.c hfi1_kdeth_expected_rcv() -> rhf_dc_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| TASK_NOT_RUNNING |
drivers/infiniband/hw/hfi1/driver.c hfi1_9B_get_sc5() -> rhf_dc_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | rhf | $1 |
| TASK_NOT_RUNNING |
drivers/infiniband/hw/hfi1/driver.c hfi1_ipoib_ib_rcv() -> rhf_dc_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| TASK_NOT_RUNNING |
drivers/infiniband/hw/hfi1/tid_rdma.c hfi1_handle_kdeth_eflags() -> rhf_dc_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BIT_INFO | 0 | rhf | 0x0,0x7fffffffffffffff |
| BIT_INFO | 0 | rhf | 0x0,0x7fffffffffffffff |
| TASK_NOT_RUNNING |