Open Menu /

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_free_srq() -> mthca_array_clear()

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

drivers/infiniband/hw/mthca/mthca_cq.c mthca_free_cq() -> mthca_array_clear()

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

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

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

drivers/infiniband/hw/mthca/mthca_qp.c mthca_free_qp() -> mthca_array_clear()

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