rdma_alloc_commit_uobject identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/rdma/uverbs_types.h, line 119 (as a prototype)

Defined in 1 files as a function:

drivers/infiniband/core/rdma_core.c, line 690 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/core/rdma_core.c rdma_alloc_abort_uobject() -> rdma_alloc_commit_uobject()

Type	Parameter	Key	Value
PARAM_VALUE	0	uobj	4096-ptr_max
PARAM_VALUE	0	uobj->uapi_object	4096-ptr_max
PARAM_VALUE	0	uobj->uapi_object->type_class	4096-ptr_max
PARAM_VALUE	0	uobj->uapi_object->type_class->alloc_commit	4241073990159572992,4688499253646393344
PARAM_VALUE	1	attrs	4096-ptr_max
PARAM_VALUE	1	attrs->driver_udata.inlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->driver_udata.outlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->method_elm	0
PARAM_VALUE	1	attrs->ucore.inlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->ucore.outlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	attrs->ufile->hw_destroy_rwsem.first_waiter->type	0-1
CAPPED_DATA	1	attrs->driver_udata.inlen	1
CAPPED_DATA	1	attrs->driver_udata.outlen	1
CAPPED_DATA	1	attrs->ucore.inlen	1
CAPPED_DATA	1	attrs->ucore.outlen	1
DATA_SOURCE	0	uobj	$0
DATA_SOURCE	1	attrs	$1
NOSPEC	1	attrs->driver_udata.inlen
NOSPEC	1	attrs->driver_udata.outlen
NOSPEC	1	attrs->ucore.inlen
NOSPEC	1	attrs->ucore.outlen
USER_DATA	1	attrs->driver_udata.inlen	0-524280,18446744073709551361-u64max[c]
USER_DATA	1	attrs->driver_udata.outlen	0-524280,18446744073709551361-u64max[c]
USER_DATA	1	attrs->ucore.inlen	0-524280,18446744073709551608-u64max[c]
USER_DATA	1	attrs->ucore.outlen	0-524280[c]
HALF_LOCKED2		&file->device->disassociate_srcu
HALF_LOCKED2		&ufile->device->disassociate_srcu

drivers/infiniband/core/rdma_core.c uverbs_finalize_object() -> rdma_alloc_commit_uobject()

Type	Parameter	Key	Value
PARAM_VALUE	1	attrs	4096-ptr_max
PARAM_VALUE	1	attrs->driver_udata.inlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->driver_udata.outlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->ucore.inlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->ucore.outlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	attrs->ufile->hw_destroy_rwsem.first_waiter->type	0-1
DATA_SOURCE	0	uobj	$0
DATA_SOURCE	1	attrs	$4
NOCHECK_CALL
USER_DATA	1	attrs->driver_udata.inlen	0-524280,18446744073709551361-u64max
USER_DATA	1	attrs->driver_udata.outlen	0-524280,18446744073709551361-u64max
USER_DATA	1	attrs->ucore.inlen	0-524280,18446744073709551608-u64max
USER_DATA	1	attrs->ucore.outlen	0-524280
HALF_LOCKED2		&file->device->disassociate_srcu
HALF_LOCKED2		&ufile->device->disassociate_srcu

drivers/infiniband/core/uverbs_cmd.c ib_uverbs_get_context() -> rdma_alloc_commit_uobject()

Type	Parameter	Key	Value
PARAM_VALUE	0	uobj	4096-ptr_max
PARAM_VALUE	0	uobj->context	1-u64max
PARAM_VALUE	0	uobj->list.next	4096-ptr_max
PARAM_VALUE	0	uobj->list.next->next	4096-ptr_max
PARAM_VALUE	0	uobj->list.prev	4096-ptr_max
PARAM_VALUE	0	uobj->list.prev->next	4096-ptr_max
PARAM_VALUE	0	uobj->list.prev->prev	4096-ptr_max
PARAM_VALUE	0	uobj->ref.refcount.refs.counter	1
PARAM_VALUE	0	uobj->uapi_object	4096-ptr_max
PARAM_VALUE	0	uobj->uapi_object->type_attrs	4096-ptr_max
PARAM_VALUE	0	uobj->uapi_object->type_class	4096-ptr_max
PARAM_VALUE	0	uobj->ufile	4096-ptr_max
PARAM_VALUE	0	uobj->ufile->device	4096-ptr_max
PARAM_VALUE	0	uobj->usecnt.counter	(-1)
PARAM_VALUE	1	attrs	4096-ptr_max
PARAM_VALUE	1	attrs->context	4096-ptr_max
PARAM_VALUE	1	attrs->context->cg_obj.cg	4096-ptr_max
PARAM_VALUE	1	attrs->context->device	4096-ptr_max
PARAM_VALUE	1	attrs->context->device->cg_device.rpools.prev	4096-ptr_max
PARAM_VALUE	1	attrs->context->device->cg_device.rpools.prev->next	4096-ptr_max
PARAM_VALUE	1	attrs->context->device->cg_device.rpools.prev->next->next	4096-ptr_max
PARAM_VALUE	1	attrs->context->mmap_xa.xa_flags	33554436
PARAM_VALUE	1	attrs->context->mmap_xa.xa_head	0
PARAM_VALUE	1	attrs->context->res.comp.done	0
PARAM_VALUE	1	attrs->context->res.comp.wait.lock.magic	3735899821
PARAM_VALUE	1	attrs->context->res.comp.wait.lock.owner	(-1)
PARAM_VALUE	1	attrs->context->res.comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	1	attrs->context->res.comp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	1	attrs->context->res.comp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	1	attrs->context->res.kref.refcount.refs.counter	1
PARAM_VALUE	1	attrs->context->res.type	5
PARAM_VALUE	1	attrs->context->res.user	1
PARAM_VALUE	1	attrs->context->res.valid	1
PARAM_VALUE	1	attrs->context->ufile	4096-ptr_max
PARAM_VALUE	1	attrs->context->ufile->umap_lock.dep_map->name	0-255
PARAM_VALUE	1	attrs->context->ufile->umap_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	1	attrs->context->ufile->umap_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	1	attrs->context->ufile->umap_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	1	attrs->context->ufile->umap_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	1	attrs->context->ufile->umap_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	1	attrs->context->ufile->umap_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	1	attrs->context->ufile->umap_lock.osq.tail.counter	0-s32max
PARAM_VALUE	1	attrs->driver_udata.inlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->driver_udata.outlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->ucore.inlen	4-120
PARAM_VALUE	1	attrs->ucore.outlen	0-524280
PARAM_VALUE	1	attrs->ufile	4096-ptr_max
PARAM_VALUE	1	attrs->ufile->device	4096-ptr_max
PARAM_VALUE	1	attrs->ufile->device->ib_dev->ops.size_ib_ucontext	0-4000000
PARAM_VALUE	1	attrs->ufile->hw_destroy_rwsem.dep_map->name	0-255
PARAM_VALUE	1	attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set	1
PARAM_VALUE	1	attrs->ufile->hw_destroy_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	attrs->ufile->idr.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	attrs->ufile->ucontext	4096-ptr_max
PARAM_VALUE	1	attrs->ufile->ucontext->cg_obj.cg	4096-ptr_max
PARAM_VALUE	1	attrs->ufile->ucontext->device	4096-ptr_max
PARAM_VALUE	1	attrs->ufile->ucontext->mmap_xa.xa_flags	33554436
PARAM_VALUE	1	attrs->ufile->ucontext->res.comp.wait.lock.magic	3735899821
PARAM_VALUE	1	attrs->ufile->ucontext->res.comp.wait.lock.owner	(-1)
PARAM_VALUE	1	attrs->ufile->ucontext->res.comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	1	attrs->ufile->ucontext->res.comp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	1	attrs->ufile->ucontext->res.comp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	1	attrs->ufile->ucontext->res.kref.refcount.refs.counter	1
PARAM_VALUE	1	attrs->ufile->ucontext->res.type	5
PARAM_VALUE	1	attrs->ufile->ucontext->res.user	1
PARAM_VALUE	1	attrs->ufile->ucontext->ufile	4096-ptr_max
PARAM_VALUE	1	attrs->ufile->ucontext_lock.dep_map->name	0-255
PARAM_VALUE	1	attrs->ufile->ucontext_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	1	attrs->ufile->ucontext_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	1	attrs->ufile->ucontext_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	1	attrs->ufile->ucontext_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	1	attrs->ufile->ucontext_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	1	attrs->ufile->ucontext_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	1	attrs->ufile->ucontext_lock.osq.tail.counter	0-s32max
PARAM_VALUE	1	attrs->uobject	0
BUF_SIZE	0	uobj	s32min-s32max
CAPPED_DATA	1	attrs->driver_udata.inlen	1
CAPPED_DATA	1	attrs->driver_udata.outlen	1
CAPPED_DATA	1	attrs->ucore.inlen	1
CAPPED_DATA	1	attrs->ucore.outlen	1
CAPPED_DATA	1	attrs->ufile->device->ib_dev	1
DATA_SOURCE	0	uobj	r __uobj_alloc
DATA_SOURCE	1	attrs	$0
NOSPEC	1	attrs->driver_udata.inlen
NOSPEC	1	attrs->driver_udata.outlen
NOSPEC	1	attrs->ucore.inlen
NOSPEC	1	attrs->ucore.outlen
NOCHECK_CALL
USER_DATA	1	attrs->driver_udata.inlen	0-524280,18446744073709551361-u64max[c]
USER_DATA	1	attrs->driver_udata.outlen	0-524280,18446744073709551361-u64max[c]
USER_DATA	1	attrs->ucore.inlen	4-120[c]
USER_DATA	1	attrs->ucore.outlen	0-524280[c]
HALF_LOCKED2		&file->device->disassociate_srcu

drivers/infiniband/core/uverbs_cmd.c ib_uverbs_rereg_mr() -> rdma_alloc_commit_uobject()

Type	Parameter	Key	Value
PARAM_VALUE	0	uobj	4096-ptr_max
PARAM_VALUE	0	uobj->context	1-u64max
PARAM_VALUE	0	uobj->list.next	4096-ptr_max
PARAM_VALUE	0	uobj->list.next->next	4096-ptr_max
PARAM_VALUE	0	uobj->list.prev	4096-ptr_max
PARAM_VALUE	0	uobj->list.prev->next	4096-ptr_max
PARAM_VALUE	0	uobj->list.prev->prev	4096-ptr_max
PARAM_VALUE	0	uobj->object	4096-ptr_max
PARAM_VALUE	0	uobj->ref.refcount.refs.counter	1
PARAM_VALUE	0	uobj->uapi_object	4096-ptr_max
PARAM_VALUE	0	uobj->uapi_object->type_attrs	4096-ptr_max
PARAM_VALUE	0	uobj->uapi_object->type_class	4096-ptr_max
PARAM_VALUE	0	uobj->ufile	4096-ptr_max
PARAM_VALUE	0	uobj->ufile->device	4096-ptr_max
PARAM_VALUE	0	uobj->usecnt.counter	(-1)
PARAM_VALUE	1	attrs	4096-ptr_max
PARAM_VALUE	1	attrs->driver_udata.inlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->driver_udata.outlen	0-524280,18446744073709551361-u64max
PARAM_VALUE	1	attrs->ucore.inlen	4-120
PARAM_VALUE	1	attrs->ucore.outlen	0-524280
PARAM_VALUE	1	attrs->ufile	4096-ptr_max
PARAM_VALUE	1	attrs->ufile->device	4096-ptr_max
PARAM_VALUE	1	attrs->ufile->hw_destroy_rwsem.dep_map->name	0-255
PARAM_VALUE	1	attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set	1
PARAM_VALUE	1	attrs->ufile->hw_destroy_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	attrs->ufile->idr.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	attrs->uobject	0
BUF_SIZE	0	uobj	s32min-s32max
BUF_SIZE	0	uobj->object	(-1),280
CAPPED_DATA	0	uobj->uapi_object	1
CAPPED_DATA	1	attrs->driver_udata.inlen	1
CAPPED_DATA	1	attrs->ucore.inlen	1
DATA_SOURCE	0	uobj	r __uobj_alloc
DATA_SOURCE	1	attrs	$0
NOSPEC	1	attrs->driver_udata.inlen
NOSPEC	1	attrs->ucore.inlen
NOCHECK_CALL
USER_DATA	1	attrs->driver_udata.inlen	0-524280,18446744073709551361-u64max[c]
USER_DATA	1	attrs->driver_udata.outlen	0-524280,18446744073709551361-u64max
USER_DATA	1	attrs->ucore.inlen	4-120[c]
USER_DATA	1	attrs->ucore.outlen	0-524280
HALF_LOCKED2		&file->device->disassociate_srcu