Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/uverbs_cmd.c ib_init_ucontext() -> (struct ib_device_ops)->alloc_ucontext()

Type Parameter Key Value
PARAM_VALUE 0 uctx 4096-ptr_max
PARAM_VALUE 0 uctx->cg_obj.cg 4096-ptr_max
PARAM_VALUE 0 uctx->device 4096-ptr_max
PARAM_VALUE 0 uctx->device->cg_device.rpools.prev 4096-ptr_max
PARAM_VALUE 0 uctx->device->cg_device.rpools.prev->next 4096-ptr_max
PARAM_VALUE 0 uctx->device->cg_device.rpools.prev->next->next 4096-ptr_max
PARAM_VALUE 0 uctx->mmap_xa.xa_flags 33554436
PARAM_VALUE 0 uctx->mmap_xa.xa_head 0
PARAM_VALUE 0 uctx->res.comp.done 0
PARAM_VALUE 0 uctx->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 uctx->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 uctx->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 uctx->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 uctx->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 uctx->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 uctx->res.type 5
PARAM_VALUE 0 uctx->res.user 1
PARAM_VALUE 0 uctx->ufile 4096-ptr_max
PARAM_VALUE 1 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 1 udata->outlen 0-524280,18446744073709551361-u64max
CONTAINER 0 -232-8-0+0 $(-1)
USER_DATA 1 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 1 udata->outlen 0-524280,18446744073709551361-u64max
LOCK2 &file->hw_destroy_rwsem
LOCK2 &file->ucontext_lock
TYPE_LOCK (struct ib_uverbs_file)->hw_destroy_rwsem
TYPE_LOCK (struct ib_uverbs_file)->ucontext_lock