Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cma.c addr_handler() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv->handler_mutex.dep_map->name 0-255
PARAM_VALUE 0 id_priv->handler_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 id_priv->handler_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 id_priv->handler_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 comp 1
PARAM_VALUE 2 exch 2
BUF_SIZE 0 id_priv 104
BUF_SIZE 0 id_priv 104
CAPPED_DATA 0 &id_priv->handler_mutex 1
DATA_SOURCE 0 id_priv $3
LOCK2 0 &id_priv->handler_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rdma_id_private)->handler_mutex

drivers/infiniband/core/cma.c addr_handler() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->handler_mutex.dep_map->name 0-255
PARAM_VALUE 0 id_priv->handler_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 id_priv->handler_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 id_priv->handler_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->state 2
PARAM_VALUE 1 comp 2
PARAM_VALUE 2 exch 7
BUF_SIZE 0 id_priv 104
BUF_SIZE 0 id_priv 104
CAPPED_DATA 0 &id_priv->handler_mutex 1
DATA_SOURCE 0 id_priv $3
NO_OVERFLOW_SIMPLE 0 id_priv->id.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 id_priv->id.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 id_priv->id.device->phys_port_cnt
LOCK2 0 &id_priv->handler_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rdma_id_private)->handler_mutex

drivers/infiniband/core/cma.c cma_ib_handler() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv->handler_mutex.dep_map->name 0-255
PARAM_VALUE 0 id_priv->handler_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 id_priv->handler_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 id_priv->handler_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 id_priv->state 5
PARAM_VALUE 1 comp 5
PARAM_VALUE 2 exch 6
BUF_SIZE 0 id_priv 64,280-s32max
BUF_SIZE 0 id_priv 64,280-s32max
CAPPED_DATA 0 &id_priv->handler_mutex 1
TASK_NOT_RUNNING
LOCK2 0 &id_priv->handler_mutex
TYPE_LOCK (struct rdma_id_private)->handler_mutex

drivers/infiniband/core/cma.c cma_work_handler() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv->handler_mutex.dep_map->name 0-255
PARAM_VALUE 0 id_priv->handler_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 id_priv->handler_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 id_priv->handler_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 id_priv->handler_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 id_priv->state 0-8,11-u32max
CAPPED_DATA 0 &id_priv->handler_mutex 1
LOCK2 0 &id_priv->handler_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rdma_id_private)->handler_mutex

drivers/infiniband/core/cma.c rdma_bind_addr_dst() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 1 comp 0
PARAM_VALUE 2 exch 7
DATA_SOURCE 0 id_priv $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cma.c rdma_bind_addr_dst() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->state 7
PARAM_VALUE 1 comp 7
PARAM_VALUE 2 exch 0
CAPPED_DATA 0 id_priv 1
DATA_SOURCE 0 id_priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 id_priv->id.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 id_priv->id.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 id_priv->id.device->phys_port_cnt
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cma.c rdma_connect_locked() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 1 comp 4
PARAM_VALUE 2 exch 5
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex

drivers/infiniband/core/cma.c rdma_connect_locked() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->state 5
PARAM_VALUE 1 comp 5
PARAM_VALUE 2 exch 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 id_priv->qp_num 0-16777215[c]
USER_DATA 0 id_priv->srq 0-255
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex

drivers/infiniband/core/cma.c rdma_listen() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 1 comp 7
PARAM_VALUE 2 exch 8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &ctrl_lock
HALF_LOCKED2 global &devices_rwsem
HALF_LOCKED2 global &ib_ctx.ib_dev_mutex
HALF_LOCKED2 global &init_lock
HALF_LOCKED2 global &lock

drivers/infiniband/core/cma.c rdma_listen() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->state 0-6,8-u32max
PARAM_VALUE 1 comp 7
PARAM_VALUE 2 exch 8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &ctrl_lock
HALF_LOCKED2 global &devices_rwsem
HALF_LOCKED2 global &ib_ctx.ib_dev_mutex
HALF_LOCKED2 global &init_lock
HALF_LOCKED2 global &lock

drivers/infiniband/core/cma.c rdma_listen() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->backlog 0
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->state 0-6,8-u32max
PARAM_VALUE 1 comp 8
PARAM_VALUE 2 exch 7
CAPPED_DATA 0 id_priv 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &ctrl_lock
HALF_LOCKED2 global &devices_rwsem
HALF_LOCKED2 global &ib_ctx.ib_dev_mutex
HALF_LOCKED2 global &init_lock
HALF_LOCKED2 global &lock

drivers/infiniband/core/cma.c rdma_resolve_addr() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->state 1
PARAM_VALUE 0 id_priv->used_resolve_ip 1-255
PARAM_VALUE 1 comp 1
PARAM_VALUE 2 exch 7
FUZZY_MAX 0 id_priv->used_resolve_ip 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 id_priv->id.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 id_priv->id.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 id_priv->id.device->phys_port_cnt
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/infiniband/core/cma.c rdma_resolve_ib_service() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->cma_dev 1-u64max
PARAM_VALUE 1 comp 7
PARAM_VALUE 2 exch 11
LOCK2 &ctx->mutex
TYPE_LOCK (struct ucma_context)->mutex

drivers/infiniband/core/cma.c rdma_resolve_ib_service() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->cma_dev 1-u64max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->query->release 0-s64max
PARAM_VALUE 0 id_priv->state 11
PARAM_VALUE 1 comp 11
PARAM_VALUE 2 exch 7
NOCHECK_CALL
LOCK2 &ctx->mutex
TYPE_LOCK (struct ucma_context)->mutex

drivers/infiniband/core/cma.c rdma_resolve_route() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 1 comp 2
PARAM_VALUE 2 exch 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cma.c rdma_resolve_route() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->state 0-1,3-u32max
PARAM_VALUE 1 comp 12
PARAM_VALUE 2 exch 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cma.c rdma_resolve_route() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->query->release 0-s64max
PARAM_VALUE 0 id_priv->state 3
PARAM_VALUE 1 comp 3
PARAM_VALUE 2 exch 2,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/cma.c rdma_set_ib_path() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 1 comp 2
PARAM_VALUE 2 exch 4
LOCK2 &ctx->mutex
TYPE_LOCK (struct ucma_context)->mutex

drivers/infiniband/core/cma.c rdma_set_ib_path() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->state 4
PARAM_VALUE 1 comp 4
PARAM_VALUE 2 exch 2
NOCHECK_CALL
LOCK2 &ctx->mutex
TYPE_LOCK (struct ucma_context)->mutex

drivers/infiniband/core/cma.c resolve_prepare_src() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 1 comp 7
PARAM_VALUE 2 exch 1
DATA_SOURCE 0 id_priv $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/infiniband/core/cma.c resolve_prepare_src() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->state 0-6,8-u32max
PARAM_VALUE 1 comp 7
PARAM_VALUE 2 exch 1
DATA_SOURCE 0 id_priv $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 id_priv->id.route.addr.dev_addr.bound_dev_if s32min-s32max[u]
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/infiniband/core/cma.c resolve_prepare_src() -> cma_comp_exch()

Type Parameter Key Value
PARAM_VALUE 0 id_priv 4096-ptr_max
PARAM_VALUE 0 id_priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 id_priv->state 0-6,8-u32max
PARAM_VALUE 1 comp 1
PARAM_VALUE 2 exch 7
DATA_SOURCE 0 id_priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 id_priv->id.route.addr.dev_addr.bound_dev_if s32min-s32max[u]
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rx_queue_mutex