Defined in 1 files as a function:
Referenced in 3 files:
- drivers/infiniband/hw/mlx4/cq.c, line 71
- drivers/infiniband/hw/mlx4/qp.c, line 176
- drivers/infiniband/hw/mlx4/srq.c, line 44
Smatch caller information:
drivers/infiniband/hw/mlx4/qp.c get_wqe() -> mlx4_buf_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 4096-ptr_max |
| DATA_SOURCE | 1 | offset | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &qp->rq.lock | ||
| HALF_LOCKED2 | &qp->sq.lock | ||
| TYPE_LOCK | (struct mlx4_ib_wq)->lock |
drivers/infiniband/hw/mlx4/srq.c get_wqe() -> mlx4_buf_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | buf->nbufs | |
| HALF_LOCKED2 | &srq->lock | ||
| HALF_LOCKED2 | flags |
drivers/infiniband/hw/mlx4/cq.c get_cqe_from_buf() -> mlx4_buf_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | buf->nbufs | |
| NO_OVERFLOW_SIMPLE | 0 | buf->npages | |
| HALF_LOCKED2 | &cq->lock | ||
| HALF_LOCKED2 | &cq->resize_mutex | ||
| HALF_LOCKED2 | irq |