Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mthca/mthca_qp.c __mthca_modify_qp() -> mthca_path_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->size | 0-s32max |
| PARAM_VALUE | 1 | ah | 4096-ptr_max |
| PARAM_VALUE | 2 | path | 4096-ptr_max |
| CAPPED_DATA | 0 | dev->cmd.pool->size | 1 |
| DATA_SOURCE | 0 | dev | r to_mdev |
| NOSPEC | 1 | ah->port_num | |
| NOSPEC | 3 | port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | ah->ib.dlid | 0-u16max |
| USER_DATA | 1 | ah->ib.src_path_bits | 0-255 |
| USER_DATA | 1 | ah->opa.dlid | 0-u16max |
| USER_DATA | 1 | ah->opa.src_path_bits | 0-255 |
| USER_DATA | 1 | ah->port_num | 0-255 |
| USER_DATA | 1 | ah->sl | 0-255 |
| USER_DATA | 1 | ah->static_rate | 0-255 |
| USER_DATA | 2 | path->port_pkey | 0-u32max[c][u] |
| USER_DATA | 2 | path->rnr_retry | 0-255 |
| USER_DATA | 3 | port | 0-255 |
| UNITS | 3 | port | unit_array_size |
| LOCK2 | &qp->mutex | ||
| HALF_LOCKED2 | &ibqp->qp_sec->mutex | ||
| TYPE_LOCK | (struct mthca_qp)->mutex |
drivers/infiniband/hw/mthca/mthca_qp.c __mthca_modify_qp() -> mthca_path_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->size | 0-s32max |
| PARAM_VALUE | 0 | dev->limits.num_ports | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | dev->limits.pkey_table_len | 1-s32max |
| PARAM_VALUE | 1 | ah | 4096-ptr_max |
| PARAM_VALUE | 2 | path | 4096-ptr_max |
| CAPPED_DATA | 0 | dev->cmd.pool->size | 1 |
| DATA_SOURCE | 0 | dev | r to_mdev |
| NOSPEC | 1 | ah->port_num | |
| NOSPEC | 3 | port | |
| NOSPEC | 3 | port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | ah->ib.dlid | 0-u16max |
| USER_DATA | 1 | ah->ib.src_path_bits | 0-255 |
| USER_DATA | 1 | ah->opa.dlid | 0-u16max |
| USER_DATA | 1 | ah->opa.src_path_bits | 0-255 |
| USER_DATA | 1 | ah->port_num | 0-255 |
| USER_DATA | 1 | ah->sl | 0-255 |
| USER_DATA | 1 | ah->static_rate | 0-255 |
| USER_DATA | 3 | port | 0-255 |
| LOCK2 | &qp->mutex | ||
| HALF_LOCKED2 | &ibqp->qp_sec->mutex | ||
| TYPE_LOCK | (struct mthca_qp)->mutex |