Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/hw/hfi1/affinity.c, line 469
- drivers/infiniband/hw/hfi1/mad.c, line 478
- drivers/infiniband/hw/hfi1/verbs.c
Smatch caller information:
drivers/infiniband/hw/hfi1/verbs.c hfi1_get_dev_fw_str() -> dev_from_rdi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdi | 4096-ptr_max |
| DATA_SOURCE | 0 | rdi | r ib_to_rvt |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &of->mutex |
drivers/infiniband/hw/hfi1/verbs.c query_port() -> dev_from_rdi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdi | 4096-ptr_max |
| DATA_SOURCE | 0 | rdi | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/hw/hfi1/verbs.c shut_down_port() -> dev_from_rdi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdi | 4096-ptr_max |
| DATA_SOURCE | 0 | rdi | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ibdev->client_data_rwsem | ||
| HALF_LOCKED2 | &ibdev->unregistration_lock | ||
| HALF_LOCKED2 | &port->file_mutex | ||
| HALF_LOCKED2 | &port->sm_sem | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &devices_rwsem |
drivers/infiniband/hw/hfi1/mad.c hfi1_cap_mask_chg() -> dev_from_rdi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdi | 4096-ptr_max |
| DATA_SOURCE | 0 | rdi | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ibdev->client_data_rwsem | ||
| HALF_LOCKED2 | &ibdev->unregistration_lock | ||
| HALF_LOCKED2 | &port->file_mutex | ||
| HALF_LOCKED2 | &port->sm_sem | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &devices_rwsem |
drivers/infiniband/hw/hfi1/affinity.c hfi1_comp_vect_mappings_lookup() -> dev_from_rdi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdi | 4096-ptr_max |
| DATA_SOURCE | 0 | rdi | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |