Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/core/rdma_core.c uverbs_finalize_object() -> rdma_alloc_abort_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
DATA_SOURCE 2 hw_obj_valid $2
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_abort_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->device 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->ufile 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->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->uobject 0
PARAM_VALUE 2 hw_obj_valid 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 uobj_alloc_abort() -> rdma_alloc_abort_uobject()

Type Parameter Key Value
PARAM_VALUE 0 uobj 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->ucore.inlen 4-524280,18446744073709551608-u64max
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
PARAM_VALUE 2 hw_obj_valid 0
BUF_SIZE 1 attrs->ufile s32min-(-1),1-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 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
NOCHECK_CALL
USER_DATA 0 uobj->user_handle 0-u64max
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-524280,18446744073709551608-u64max[c]
USER_DATA 1 attrs->ucore.outlen 0-524280[c]
HALF_LOCKED2 &file->device->disassociate_srcu
HALF_LOCKED2 &ibudev->xrcd_tree_mutex