Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx5/fs.c mlx5r_fs_bind_op_fc() -> is_fc_shared_and_in_use()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | type | 7-13 |
| PARAM_VALUE | 2 | fc | 7033469492717776896 |
| BUF_SIZE | 0 | fc_arr | 112 |
| BUF_SIZE | 0 | fc_arr | 112 |
| DATA_SOURCE | 0 | fc_arr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &counter->lock | ||
| TYPE_LOCK | (struct rdma_counter)->lock |
drivers/infiniband/hw/mlx5/fs.c mlx5r_fs_destroy_fcs() -> is_fc_shared_and_in_use()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc_arr | 4096-ptr_max |
| PARAM_VALUE | 1 | type | 7-13 |
| PARAM_VALUE | 2 | fc | 6010853725490307072 |
| BUF_SIZE | 0 | fc_arr | 112 |
| BUF_SIZE | 0 | fc_arr | 112 |
| DATA_SOURCE | 0 | fc_arr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &counter->lock |