Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/mad.c ib_post_send_mad() -> handle_outgoing_dr_smp()

Type Parameter Key Value
PARAM_VALUE 0 mad_agent_priv 4096-ptr_max
PARAM_VALUE 0 mad_agent_priv->agent.device 4096-ptr_max
PARAM_VALUE 0 mad_agent_priv->agent.device->port_data 4096-ptr_max
PARAM_VALUE 0 mad_agent_priv->agent.rmpp_version 0
PARAM_VALUE 1 mad_send_wr 4096-ptr_max
PARAM_VALUE 1 mad_send_wr->mad_agent_priv 4096-ptr_max
PARAM_VALUE 1 mad_send_wr->mad_agent_priv->agent.device 4096-ptr_max
PARAM_VALUE 1 mad_send_wr->mad_agent_priv->agent.device->port_data 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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