Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cm.c ib_send_cm_rep() -> cm_format_rep()

Type Parameter Key Value
PARAM_VALUE 0 rep_msg 4096-ptr_max
PARAM_VALUE 1 cm_id_priv 4096-ptr_max
PARAM_VALUE 1 cm_id_priv->av.ah_attr.grh.sgid_attr 0
PARAM_VALUE 1 cm_id_priv->av.port 4096-ptr_max
PARAM_VALUE 1 cm_id_priv->av.port->cm_dev->mad_agent_lock.dep_map->name 0-255
PARAM_VALUE 1 cm_id_priv->msg 4096-ptr_max
PARAM_VALUE 1 cm_id_priv->msg->ah 4096-ptr_max
PARAM_VALUE 1 cm_id_priv->msg->hdr_len 24
PARAM_VALUE 1 cm_id_priv->msg->mad 4096-ptr_max
PARAM_VALUE 1 cm_id_priv->msg->mad_agent 4096-ptr_max
PARAM_VALUE 2 param 4096-ptr_max
PARAM_VALUE 2 param->failover_accepted 0
PARAM_VALUE 2 param->rnr_retry_count 0-7
PARAM_VALUE 2 param->srq 0-1
BUF_SIZE 0 rep_msg 376,392,408,416,608,2400
BUF_SIZE 0 rep_msg 376,392,408,416,608,2400
CAPPED_DATA 1 cm_id_priv->av.ah_attr.port_num 1
DATA_SOURCE 2 param $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 param->flow_control 0-255
USER_DATA 2 param->initiator_depth 0-255
USER_DATA 2 param->private_data_len 0-255
USER_DATA 2 param->qp_num 0-16777215[c]
USER_DATA 2 param->responder_resources 0-255
USER_DATA 2 param->rnr_retry_count 0-7[c]
LOCK2 flags
LOCK2 1 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sport->mutex
TYPE_LOCK (struct cm_id_private)->lock