Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/irdma/verbs.c irdma_create_user_ah() -> irdma_destroy_ah()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibah | 4096-ptr_max |
| PARAM_VALUE | 0 | ibah->device | 4096-ptr_max |
| PARAM_VALUE | 0 | ibah->device->ops.size_ib_ah | 0-4000000 |
| PARAM_VALUE | 0 | ibah->pd | 4096-ptr_max |
| PARAM_VALUE | 0 | ibah->pd->device | 4096-ptr_max |
| PARAM_VALUE | 0 | ibah->sgid_attr | 0 |
| PARAM_VALUE | 0 | ibah->sgid_attr->index | 0-255 |
| PARAM_VALUE | 0 | ibah->type | 0-3 |
| PARAM_VALUE | 1 | ah_flags | 1 |
| BUF_SIZE | 0 | ibah->pd | (-1),16,24,32,40,56,64,232,264,280,352,536,680 |
| DATA_SOURCE | 0 | ibah | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &file->mutex |
drivers/infiniband/core/verbs.c rdma_destroy_ah_user() -> (struct ib_device_ops)->destroy_ah()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibah | 4096-ptr_max |
| PARAM_VALUE | 0 | ibah->device | 4096-ptr_max |
| PARAM_VALUE | 1 | ah_flags | 0-1 |
| BUF_SIZE | 0 | ibah | s32min,(-1),1-s32max |
| BUF_SIZE | 0 | ibah | s32min,(-1),1-s32max |
| DATA_SOURCE | 0 | ibah | $0 |
| DATA_SOURCE | 1 | ah_flags | $1 |
| CONTAINER | 0 | -336-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &priv->dev->tx_global_lock | ||
| HALF_LOCKED2 | &priv->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags |