Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cm.c cm_apr_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->id.lap_state 1
PARAM_VALUE 0 cm_id_priv->id.state 10
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->msg 0,4096-ptr_max
PARAM_VALUE 0 cm_id_priv->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 14
PARAM_VALUE 1 work->cm_event.param.apr_rcvd.apr_info 4096-ptr_max
PARAM_VALUE 1 work->cm_event.private_data 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc 4096-ptr_max
PARAM_VALUE 1 work->port 4096-ptr_max
PARAM_VALUE 1 work->port->cm_dev 4096-ptr_max
PARAM_VALUE 1 work->port->cm_dev->ib_device 4096-ptr_max
PARAM_VALUE 1 work->port->cm_dev->ib_device->port_data 4096-ptr_max
CAPPED_DATA 0 cm_id_priv->id.remote_id 1
CAPPED_DATA 0 cm_id_priv->msg 1
DATA_SOURCE 1 work $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_drep_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->id.state 11-13
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->msg 0,4096-ptr_max
PARAM_VALUE 0 cm_id_priv->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 8
PARAM_VALUE 1 work->cm_event.private_data 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc 4096-ptr_max
CAPPED_DATA 0 cm_id_priv->id.remote_id 1
CAPPED_DATA 0 cm_id_priv->msg 1
DATA_SOURCE 1 work $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_dreq_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->id.state 12
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 7
PARAM_VALUE 1 work->cm_event.private_data 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad 4096-ptr_max
CAPPED_DATA 0 cm_id_priv->id.remote_id 1
CAPPED_DATA 0 cm_id_priv->local_qpn 1
DATA_SOURCE 1 work $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_establish_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->id.state 10
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->msg 0,4096-ptr_max
PARAM_VALUE 0 cm_id_priv->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 5
CAPPED_DATA 0 cm_id_priv->id.remote_id 1
CAPPED_DATA 0 cm_id_priv->msg 1
CAPPED_DATA 1 work->remote_id 1
DATA_SOURCE 0 cm_id_priv r cm_acquire_id
DATA_SOURCE 1 work $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_lap_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->alt_av.port 0,4096-ptr_max
PARAM_VALUE 0 cm_id_priv->alt_av.timeout 1-255
PARAM_VALUE 0 cm_id_priv->av.port 0,4096-ptr_max
PARAM_VALUE 0 cm_id_priv->id.lap_state 3
PARAM_VALUE 0 cm_id_priv->id.state 10
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 13
PARAM_VALUE 1 work->cm_event.param.lap_rcvd.alternate_path 4096-ptr_max
PARAM_VALUE 1 work->cm_event.param.lap_rcvd.alternate_path->mtu_selector 2
PARAM_VALUE 1 work->cm_event.param.lap_rcvd.alternate_path->packet_life_time_selector 2
PARAM_VALUE 1 work->cm_event.param.lap_rcvd.alternate_path->rate_selector 2
PARAM_VALUE 1 work->cm_event.param.lap_rcvd.alternate_path->reversible 1
PARAM_VALUE 1 work->cm_event.param.lap_rcvd.alternate_path->roce.route_resolved 1
PARAM_VALUE 1 work->cm_event.private_data 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc->wc 4096-ptr_max
PARAM_VALUE 1 work->path 4096-ptr_max
PARAM_VALUE 1 work->port 4096-ptr_max
PARAM_VALUE 1 work->port->cm_dev 4096-ptr_max
PARAM_VALUE 1 work->port->cm_dev->ib_device 4096-ptr_max
PARAM_VALUE 1 work->port->cm_dev->ib_device->port_data 4096-ptr_max
CAPPED_DATA 0 cm_id_priv->id.remote_id 1
CAPPED_DATA 1 work->port 1
DATA_SOURCE 1 work $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_mra_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->id.lap_state 5
PARAM_VALUE 0 cm_id_priv->id.state 5,9-10
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->msg 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->msg->context 4096-ptr_max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 10
PARAM_VALUE 1 work->cm_event.private_data 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc 4096-ptr_max
CAPPED_DATA 0 cm_id_priv->id.remote_id 1
CAPPED_DATA 0 cm_id_priv->msg 1
DATA_SOURCE 0 cm_id_priv r cm_acquire_mraed_id
DATA_SOURCE 1 work $0
FUZZY_MAX 0 cm_id_priv->id.state 9
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_rej_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->id.lap_state 0,2
PARAM_VALUE 0 cm_id_priv->id.state 0,2-11,13
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 11
PARAM_VALUE 1 work->cm_event.param.rej_rcvd.ari 4096-ptr_max
PARAM_VALUE 1 work->cm_event.private_data 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc 4096-ptr_max
CAPPED_DATA 0 cm_id_priv->id.remote_id 1
DATA_SOURCE 0 cm_id_priv r cm_acquire_rejected_id
DATA_SOURCE 1 work $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_rep_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->alt_av.timeout 1-31
PARAM_VALUE 0 cm_id_priv->av.timeout 1-31
PARAM_VALUE 0 cm_id_priv->id.state 7
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->msg 0,4096-ptr_max
PARAM_VALUE 0 cm_id_priv->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 cm_id_priv->timewait_info 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->timewait_info->inserted_remote_id 1
PARAM_VALUE 0 cm_id_priv->timewait_info->inserted_remote_qp 1
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_id_node.__rb_parent_color 1
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_id_node.rb_left 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_id_node.rb_right 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_qp_node.__rb_parent_color 1
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_qp_node.rb_left 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_qp_node.rb_right 4096-ptr_max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 3
PARAM_VALUE 1 work->mad_recv_wc 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad 4096-ptr_max
CAPPED_DATA 0 cm_id_priv->alt_av.timeout 1
CAPPED_DATA 0 cm_id_priv->av.timeout 1
CAPPED_DATA 0 cm_id_priv->msg 1
CAPPED_DATA 0 cm_id_priv->target_ack_delay 1
DATA_SOURCE 0 cm_id_priv r cm_acquire_id
DATA_SOURCE 1 work $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_req_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->av.ah_attr->roce.dmac 0-255
PARAM_VALUE 0 cm_id_priv->av.ah_attr.grh.sgid_attr 0
PARAM_VALUE 0 cm_id_priv->av.ah_attr.roce.dmac 0
PARAM_VALUE 0 cm_id_priv->av.port 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->av.port->cm_dev 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->comp.done 0
PARAM_VALUE 0 cm_id_priv->comp.wait.lock.magic 3735899821
PARAM_VALUE 0 cm_id_priv->comp.wait.lock.owner (-1)
PARAM_VALUE 0 cm_id_priv->comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 cm_id_priv->comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->id.remote_cm_qpn 1
PARAM_VALUE 0 cm_id_priv->id.state 3
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->qp_type 0,2-3,10
PARAM_VALUE 0 cm_id_priv->timewait_info 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->timewait_info->inserted_remote_id 1
PARAM_VALUE 0 cm_id_priv->timewait_info->inserted_remote_qp 1
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_id_node.__rb_parent_color 1
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_id_node.rb_left 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_id_node.rb_right 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_qp_node.__rb_parent_color 1
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_qp_node.rb_left 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->timewait_info->remote_qp_node.rb_right 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->timewait_info->work.cm_event.event 9
PARAM_VALUE 0 cm_id_priv->work_count.counter (-1)
PARAM_VALUE 0 cm_id_priv->work_list.next 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->work_list.next->next 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->work_list.prev 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->work_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->work_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 1
PARAM_VALUE 1 work->cm_event.param.req_rcvd.listen_id 4096-ptr_max
PARAM_VALUE 1 work->cm_event.param.req_rcvd.primary_path 4096-ptr_max
PARAM_VALUE 1 work->cm_event.param.req_rcvd.qp_type 0,2-3,10
PARAM_VALUE 1 work->mad_recv_wc 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad->hdr.attr_id 0-u16max
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad->hdr.attr_mod 0-4294967295
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad->hdr.base_version 0-255
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad->hdr.class_specific 0-u16max
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad->hdr.class_version 0-255
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad->hdr.method 0-255
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad->hdr.mgmt_class 0-255
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad->hdr.resv 0-u16max
PARAM_VALUE 1 work->mad_recv_wc->recv_buf.mad->hdr.status 0-u16max
PARAM_VALUE 1 work->mad_recv_wc->wc 4096-ptr_max
PARAM_VALUE 1 work->path 4096-ptr_max
PARAM_VALUE 1 work->port 4096-ptr_max
PARAM_VALUE 1 work->port->cm_dev 4096-ptr_max
PARAM_VALUE 1 work->port->cm_dev->ib_device 4096-ptr_max
PARAM_VALUE 1 work->port->cm_dev->ib_device->cache_lock.dep_map->name 0-255
PARAM_VALUE 1 work->port->cm_dev->ib_device->port_data 4096-ptr_max
BUF_SIZE 0 cm_id_priv 552
BUF_SIZE 0 cm_id_priv->timewait_info 400
CAPPED_DATA 0 cm_id_priv->id.device 1
CAPPED_DATA 1 work->port 1
CAPPED_DATA 1 work->port->port_num 1
DATA_SOURCE 0 cm_id_priv r cm_alloc_id_priv
DATA_SOURCE 1 work $0
MEM_ZERO 0 cm_id_priv->av.ah_attr.grh.sgid_attr
MEM_ZERO 0 &cm_id_priv->av.ah_attr
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cm_id_priv->id.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 cm_id_priv->id.device->num_comp_vectors
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_rtu_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->id.state 10
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->msg 0,4096-ptr_max
PARAM_VALUE 0 cm_id_priv->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 4
PARAM_VALUE 1 work->cm_event.private_data 4096-ptr_max
PARAM_VALUE 1 work->mad_recv_wc 4096-ptr_max
CAPPED_DATA 0 cm_id_priv->id.remote_id 1
CAPPED_DATA 0 cm_id_priv->msg 1
DATA_SOURCE 1 work $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_timewait_handler() -> cm_queue_work_unlock()

Type Parameter Key Value
PARAM_VALUE 0 cm_id_priv 4096-ptr_max
PARAM_VALUE 0 cm_id_priv->id.state 0
PARAM_VALUE 0 cm_id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cm_id_priv->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->cm_event.event 9
CAPPED_DATA 0 cm_id_priv->id.remote_id 1
CAPPED_DATA 0 cm_id_priv->remote_qpn 1
DATA_SOURCE 0 cm_id_priv r cm_acquire_id
DATA_SOURCE 1 work $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock