Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/core/cm.c cm_init_av_by_path() -> rdma_move_ah_attr()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 7012201303328223232
PARAM_VALUE 1 src->ah_flags 0-1
PARAM_VALUE 1 src->type 0-3
MEM_ZERO 1 src
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/cm.c cm_init_av_for_lap() -> rdma_move_ah_attr()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 5328727041879773184
PARAM_VALUE 1 src->ah_flags 0-1
PARAM_VALUE 1 src->type 0-3
DATA_SOURCE 1 src $2
MEM_ZERO 1 src
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &cm_id_priv->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_move_av_from_path() -> rdma_move_ah_attr()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 2575859332666105864,2740083714414698504,6582925022103408648,8552541257699516424
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cm_id_priv->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct cm_id_private)->lock