Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/hw/mthca/mthca_cq.c, line 353
- drivers/infiniband/hw/mthca/mthca_qp.c, line 1071
- drivers/infiniband/hw/mthca/mthca_srq.c, line 169
Smatch caller information:
drivers/infiniband/hw/mthca/mthca_srq.c mthca_alloc_srq_buf() -> mthca_buf_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->cma_area->nranges | s32min-s32max |
| 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->srq_table.alloc.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | max_direct | 16384 |
| PARAM_VALUE | 3 | buf | 4096-ptr_max |
| PARAM_VALUE | 4 | is_direct | 4096-ptr_max |
| PARAM_VALUE | 5 | pd | 4096-ptr_max |
| PARAM_VALUE | 6 | hca_write | 1 |
| PARAM_VALUE | 7 | mr | 4096-ptr_max |
| CAPPED_DATA | 0 | dev->cmd.pool->size | 1 |
| CAPPED_DATA | 0 | dev->srq_table.alloc.max | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 5 | pd | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 7 | mr->ibmr.lkey | 0-u32max |
| HALF_LOCKED2 | &devr->srq_lock | ||
| HALF_LOCKED2 | global &device_list_mutex |
drivers/infiniband/hw/mthca/mthca_cq.c mthca_alloc_cq_buf() -> mthca_buf_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 2 | max_direct | 16384 |
| PARAM_VALUE | 3 | buf | 4096-ptr_max |
| PARAM_VALUE | 4 | is_direct | 4096-ptr_max |
| PARAM_VALUE | 5 | pd | 4096-ptr_max |
| PARAM_VALUE | 6 | hca_write | 1 |
| PARAM_VALUE | 7 | mr | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 7 | mr->ibmr.lkey | 0-u32max |
| HALF_LOCKED2 | &cq->mutex |
drivers/infiniband/hw/mthca/mthca_qp.c mthca_alloc_wqe_buf() -> mthca_buf_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.event_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.hcr_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | dev->cmd.poll_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->cma_area->alloc_mutex.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | dev->cmd.pool->dev->iommu->attach_deferred | 0-1 |
| 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->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | *dev->cmd.hcr_mutex.first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | max_direct | 16384 |
| PARAM_VALUE | 3 | buf | 4096-ptr_max |
| PARAM_VALUE | 4 | is_direct | 4096-ptr_max |
| PARAM_VALUE | 5 | pd | 4096-ptr_max |
| PARAM_VALUE | 6 | hca_write | 0 |
| PARAM_VALUE | 7 | mr | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 5 | pd | $1 |
| BIT_INFO | 1 | size | 0x0,0x7ffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | size | s32min-s32max[c] |
| USER_DATA | 7 | mr->ibmr.lkey | 0-u32max |
| UNITS | 1 | size | unit_byte |