Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 8552541257699516416
PARAM_VALUE 1 src->port 4096-ptr_max
PARAM_VALUE 1 src->timeout 1-255
PREEMPT_ADD <- disables preempt
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 ib_send_cm_req() -> cm_move_av_from_path()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 2740083714414698496
PARAM_VALUE 1 src->port 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cm_id_priv->lock
LOCK2 flags
TYPE_LOCK (struct cm_id_private)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 6582925022103408640
PARAM_VALUE 1 src->port 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cm_id_priv->lock
LOCK2 flags
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex
TYPE_LOCK (struct cm_id_private)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 2575859332666105856
PARAM_VALUE 1 src->port 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cm_id_priv->lock
LOCK2 flags
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex
TYPE_LOCK (struct cm_id_private)->lock