Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/mthca/mthca_srq.c mthca_srq_event() -> mthca_array_get()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 1 index 0-16777215
CAPPED_DATA 1 index 1
PREEMPT_ADD <- disables preempt
LOCK2 &dev->srq_table.lock
TYPE_LOCK (struct mthca_srq_table)->lock

drivers/infiniband/hw/mthca/mthca_cq.c mthca_cq_completion() -> mthca_array_get()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 1 index 0-16777215
CAPPED_DATA 1 index 1

drivers/infiniband/hw/mthca/mthca_cq.c mthca_cq_event() -> mthca_array_get()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
CAPPED_DATA 1 index 1
PREEMPT_ADD <- disables preempt
LOCK2 &dev->cq_table.lock
TYPE_LOCK (struct mthca_cq_table)->lock

drivers/infiniband/hw/mthca/mthca_cq.c mthca_poll_one() -> mthca_array_get()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
CAPPED_DATA 1 index 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cq->lock
LOCK2 flags
TYPE_LOCK (struct mthca_cq)->lock

drivers/infiniband/hw/mthca/mthca_qp.c mthca_alloc_sqp() -> mthca_array_get()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->qp_table.lock
LOCK2 irq
TYPE_LOCK (struct mthca_qp_table)->lock

drivers/infiniband/hw/mthca/mthca_qp.c mthca_qp_event() -> mthca_array_get()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 1 index 0-16777215
CAPPED_DATA 1 index 1
PREEMPT_ADD <- disables preempt
LOCK2 &dev->qp_table.lock
TYPE_LOCK (struct mthca_qp_table)->lock