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_alloc_srq() -> mthca_array_set()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 1 index 0-s32max
PARAM_VALUE 2 value 4096-ptr_max
CAPPED_DATA 1 index 1
DATA_SOURCE 2 value $3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->srq_table.lock
LOCK2 irq
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex
TYPE_LOCK (struct mthca_srq_table)->lock

drivers/infiniband/hw/mthca/mthca_cq.c mthca_init_cq() -> mthca_array_set()

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

drivers/infiniband/hw/mthca/mthca_qp.c mthca_alloc_qp() -> mthca_array_set()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 1 index s32min-(-2),0-s32max
PARAM_VALUE 2 value 4096-ptr_max
CAPPED_DATA 1 index 1
DATA_SOURCE 2 value $7
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->qp_table.lock
LOCK2 irq
TYPE_LOCK (struct mthca_qp_table)->lock

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

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