Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/ucma.c ucma_connect_event_handler() -> ucma_finish_ctx()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->cm_id 4096-ptr_max
PARAM_VALUE 0 ctx->cm_id->context 4096-ptr_max
PARAM_VALUE 0 ctx->comp.done 0
PARAM_VALUE 0 ctx->comp.wait.lock.magic 3735899821
PARAM_VALUE 0 ctx->comp.wait.lock.owner (-1)
PARAM_VALUE 0 ctx->comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ctx->comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 ctx->comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 ctx->comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 ctx->comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ctx->comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ctx->file->mut.dep_map->name 0-255
PARAM_VALUE 0 ctx->file->mut.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ctx->file->mut.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ctx->file->mut.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctx->file->mut.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ctx->file->mut.wait_lock.owner (-1)
PARAM_VALUE 0 ctx->file->mut.wait_lock.owner_cpu u32max
PARAM_VALUE 0 ctx->list.next 4096-ptr_max
PARAM_VALUE 0 ctx->list.next->next 4096-ptr_max
PARAM_VALUE 0 ctx->list.prev 4096-ptr_max
PARAM_VALUE 0 ctx->list.prev->next 4096-ptr_max
PARAM_VALUE 0 ctx->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ctx->mc_list.next 4096-ptr_max
PARAM_VALUE 0 ctx->mc_list.next->next 4096-ptr_max
PARAM_VALUE 0 ctx->mc_list.prev 4096-ptr_max
PARAM_VALUE 0 ctx->mc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ctx->mc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ctx->mutex.dep_map->name 0-255
PARAM_VALUE 0 ctx->mutex.first_waiter 0
PARAM_VALUE 0 ctx->mutex.magic 4096-ptr_max
PARAM_VALUE 0 ctx->mutex.osq.tail.counter 0
PARAM_VALUE 0 ctx->mutex.owner.counter 0
PARAM_VALUE 0 ctx->ref.refs.counter 1
BUF_SIZE 0 ctx 408
BUF_SIZE 0 ctx->cm_id->context 408
CAPPED_DATA 0 &ctx->file->mut 1
DATA_SOURCE 0 ctx r ucma_alloc_ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ctx->file->mut
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex
TYPE_LOCK (struct ucma_file)->mut

drivers/infiniband/core/ucma.c ucma_create_id() -> ucma_finish_ctx()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->cm_id 4096-ptr_max
PARAM_VALUE 0 ctx->cm_id->context 4096-ptr_max
PARAM_VALUE 0 ctx->comp.done 0
PARAM_VALUE 0 ctx->comp.wait.lock.magic 3735899821
PARAM_VALUE 0 ctx->comp.wait.lock.owner (-1)
PARAM_VALUE 0 ctx->comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ctx->comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 ctx->comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 ctx->comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 ctx->comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ctx->comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ctx->list.next 4096-ptr_max
PARAM_VALUE 0 ctx->list.next->next 4096-ptr_max
PARAM_VALUE 0 ctx->list.prev 4096-ptr_max
PARAM_VALUE 0 ctx->list.prev->next 4096-ptr_max
PARAM_VALUE 0 ctx->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ctx->mc_list.next 4096-ptr_max
PARAM_VALUE 0 ctx->mc_list.next->next 4096-ptr_max
PARAM_VALUE 0 ctx->mc_list.prev 4096-ptr_max
PARAM_VALUE 0 ctx->mc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ctx->mc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ctx->mutex.dep_map->name 0-255
PARAM_VALUE 0 ctx->mutex.first_waiter 0
PARAM_VALUE 0 ctx->mutex.magic 4096-ptr_max
PARAM_VALUE 0 ctx->mutex.osq.tail.counter 0
PARAM_VALUE 0 ctx->mutex.owner.counter 0
PARAM_VALUE 0 ctx->ref.refs.counter 1
BUF_SIZE 0 ctx 408
BUF_SIZE 0 ctx->file s32min-(-2),1-s32max
DATA_SOURCE 0 ctx r ucma_alloc_ctx
NOCHECK_CALL
USER_DATA 0 ctx->cm_id->ps 2,262,273,319
USER_DATA 0 ctx->cm_id->qp_type 0-255
USER_DATA 0 ctx->uid 0-u64max
LOCK2 &file->mut
TYPE_LOCK (struct ucma_file)->mut