Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cm.c cm_match_req() -> cm_dup_req_handler()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PARAM_VALUE 0 work->cm_event.event 1
PARAM_VALUE 0 work->mad_recv_wc 4096-ptr_max
PARAM_VALUE 0 work->mad_recv_wc->recv_buf.mad 4096-ptr_max
PARAM_VALUE 0 work->mad_recv_wc->wc 4096-ptr_max
PARAM_VALUE 0 work->port 4096-ptr_max
PARAM_VALUE 0 work->port->cm_dev 4096-ptr_max
PARAM_VALUE 0 work->port->cm_dev->ib_device 4096-ptr_max
PARAM_VALUE 0 work->port->cm_dev->ib_device->port_data 4096-ptr_max
PARAM_VALUE 1 cm_id_priv 4096-ptr_max
PARAM_VALUE 1 cm_id_priv->refcount.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 work->port 1
CAPPED_DATA 1 cm_id_priv->id.remote_id 1
DATA_SOURCE 0 work $0
DATA_SOURCE 1 cm_id_priv r cm_acquire_id
NOCHECK_CALL
HALF_LOCKED2 &pool->lock