Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/frmr_pools.c age_pinned_pool() -> (struct ib_frmr_pool_ops)->destroy_frmrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->frmr_pools->pool_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | handles | 16,4096-ptr_max |
| PARAM_VALUE | 2 | count | 1-u32max |
| BUF_SIZE | 1 | handles | 4 |
| DATA_SOURCE | 0 | device | $0 |
| DATA_SOURCE | 1 | handles | r _kmalloc_array_noprof |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | count | |
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/core/frmr_pools.c destroy_all_handles_in_queue() -> (struct ib_frmr_pool_ops)->destroy_frmrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->frmr_pools->pool_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 0-1020 |
| BUF_SIZE | 1 | handles | 4080 |
| DATA_SOURCE | 0 | device | $0 |
| NOCHECK_CALL |
drivers/infiniband/core/frmr_pools.c ib_frmr_pool_push() -> (struct ib_frmr_pool_ops)->destroy_frmrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->frmr_pools | 4096-ptr_max |
| PARAM_VALUE | 0 | device->frmr_pools->pool_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | handles | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 1 |
| DATA_SOURCE | 0 | device | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->data_direct_lock |
drivers/infiniband/core/frmr_pools.c ib_frmr_pools_set_pinned() -> (struct ib_frmr_pool_ops)->destroy_frmrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->frmr_pools | 4096-ptr_max |
| PARAM_VALUE | 0 | device->frmr_pools->pool_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | device->frmr_pools->pool_ops->build_key | 8978817397382242304 |
| PARAM_VALUE | 0 | device->frmr_pools->rb_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | device->refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | handles | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 1-s32max |
| CAPPED_DATA | 2 | count | 1 |
| DATA_SOURCE | 0 | device | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read |