Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/mad_rmpp.c ib_process_rmpp_send_wc() -> send_next_seg()

Type Parameter Key Value
PARAM_VALUE 0 mad_send_wr 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->mad_agent_priv 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->mad_agent_priv->agent.rmpp_version 1-255
PARAM_VALUE 0 mad_send_wr->send_buf.mad 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->state 0-4,6-u32max
PARAM_VALUE 0 mad_send_wr->timeout 1-u64max
DATA_SOURCE 0 mad_send_wr $0
PARAM_COMPARE 0 mad_send_wr->last_ack != $0->send_buf.seg_count
PARAM_COMPARE 0 mad_send_wr->newwin != $0->seg_num
PARAM_COMPARE 0 mad_send_wr->seg_num != $0->send_buf.seg_count
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mad_agent_priv->lock
LOCK2 flags
TYPE_LOCK (struct ib_mad_agent_private)->lock

drivers/infiniband/core/mad_rmpp.c ib_retry_rmpp() -> send_next_seg()

Type Parameter Key Value
PARAM_VALUE 0 mad_send_wr 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->mad_agent_priv 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->mad_agent_priv->agent.rmpp_version 1-255
PARAM_VALUE 0 mad_send_wr->send_buf.mad 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->state 0-4,6-u32max
PARAM_VALUE 0 mad_send_wr->timeout 0-536870912,4611686018427387902
DATA_SOURCE 0 mad_send_wr $0
PARAM_COMPARE 0 mad_send_wr->last_ack != $0->send_buf.seg_count
PREEMPT_ADD
LOCK2 &mad_agent_priv->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ib_mad_agent_private)->lock

drivers/infiniband/core/mad_rmpp.c ib_send_rmpp_mad() -> send_next_seg()

Type Parameter Key Value
PARAM_VALUE 0 mad_send_wr 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->mad_agent_priv 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->mad_agent_priv->agent.device 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->mad_agent_priv->agent.device->port_data 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->mad_agent_priv->agent.rmpp_version 1-255
PARAM_VALUE 0 mad_send_wr->mad_agent_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mad_send_wr->send_buf.mad 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->send_buf.mad->method 128-255
PARAM_VALUE 0 mad_send_wr->state 2
DATA_SOURCE 0 mad_send_wr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 mad_send_wr->max_retries s32min-s32max
USER_DATA 0 mad_send_wr->retries_left s32min-s32max
HALF_LOCKED2 &cm_id_priv->lock
HALF_LOCKED2 &dev->sm_lock
HALF_LOCKED2 &file->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &ib_nl_request_lock
HALF_LOCKED2 irq

drivers/infiniband/core/mad_rmpp.c process_rmpp_ack() -> send_next_seg()

Type Parameter Key Value
PARAM_VALUE 0 mad_send_wr 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->newwin (-2147483647)-s32max
PARAM_VALUE 0 mad_send_wr->seg_num s32min-2147483646
PARAM_VALUE 0 mad_send_wr->send_buf.mad 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->send_buf.seg_count (-2147483647)-s32max
PARAM_VALUE 0 mad_send_wr->state 3
PARAM_VALUE 0 mad_send_wr->timeout 1-u64max
CAPPED_DATA 0 mad_send_wr->seg_num 1
CAPPED_DATA 0 mad_send_wr->tid 1
DATA_SOURCE 0 mad_send_wr r ib_find_send_mad
PARAM_COMPARE 0 mad_send_wr->last_ack < $0->send_buf.seg_count
PARAM_COMPARE 0 mad_send_wr->newwin > $0->seg_num
PARAM_COMPARE 0 mad_send_wr->seg_num < $0->send_buf.seg_count
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &agent->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ib_mad_agent_private)->lock