Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 11 files:
- drivers/infiniband/core/device.c
- drivers/infiniband/core/sysfs.c, line 1318
- drivers/infiniband/hw/bnxt_re/main.c, line 1367
- drivers/infiniband/hw/hfi1/verbs.c
- drivers/infiniband/hw/hns/hns_roce_main.c, line 745
- drivers/infiniband/hw/ionic/ionic_ibdev.c, line 255
- drivers/infiniband/hw/mlx4/main.c, line 2551
- drivers/infiniband/hw/mlx5/main.c, line 4622
- drivers/infiniband/hw/mthca/mthca_provider.c, line 1108
- drivers/infiniband/sw/rdmavt/vt.c
- drivers/infiniband/sw/rxe/rxe_verbs.c, line 1494
Smatch caller information:
drivers/infiniband/core/device.c ib_modify_device() -> (struct ib_device_ops)->modify_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ops.modify_device | 1-u64max |
| PARAM_VALUE | 1 | device_modify_mask | 2 |
| PARAM_VALUE | 2 | device_modify | 3803546749806592000 |
| PARAM_VALUE | 2 | device_modify->sys_image_guid | 0 |
| DATA_SOURCE | 0 | device | $0 |
| DATA_SOURCE | 1 | device_modify_mask | $1 |
| DATA_SOURCE | 2 | device_modify | $2 |
| CONTAINER | 0 | -120-8+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |