Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/core/mad.c ib_modify_mad() -> ib_reset_mad_timeout()

Type Parameter Key Value
PARAM_VALUE 0 mad_send_wr 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->state 0,3,5-u32max
DATA_SOURCE 0 mad_send_wr r find_send_wr
DATA_SOURCE 1 timeout_ms $1
FUZZY_MAX 0 mad_send_wr->state 5
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mad_agent_priv->lock
LOCK2 flags
HALF_LOCKED2 &cm_id_priv->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct ib_mad_agent_private)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 mad_send_wr 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->last_ack (-2147483647)-s32max
PARAM_VALUE 0 mad_send_wr->send_buf.mad 4096-ptr_max
PARAM_VALUE 0 mad_send_wr->send_buf.timeout_ms s32min-(-1),1-s32max
PARAM_VALUE 0 mad_send_wr->state 3
PARAM_VALUE 0 mad_send_wr->timeout 1-u64max
PARAM_VALUE 1 timeout_ms 1-s32max,18446744071562067968-u64max
CAPPED_DATA 0 mad_send_wr->last_ack 1
CAPPED_DATA 0 mad_send_wr->send_buf.seg_count 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
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &agent->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ib_mad_agent_private)->lock