Defined in 1 files as a function:

Referenced in 3 files:

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