Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/rdma_core.c __uverbs_cleanup_ufile() -> uverbs_destroy_uobject()

Type Parameter Key Value
PARAM_VALUE 0 uobj 4096-ptr_max
PARAM_VALUE 0 uobj->usecnt.counter 0-s32max
PARAM_VALUE 1 reason 1-2,4
PARAM_VALUE 2 attrs 2258182842184445952
PARAM_VALUE 2 attrs->driver_udata.inlen 0
PARAM_VALUE 2 attrs->driver_udata.outlen 0
PARAM_VALUE 2 attrs->method_elm 0
PARAM_VALUE 2 attrs->ucore.inlen 0
PARAM_VALUE 2 attrs->ucore.outlen 0
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->uobject 0
CAPPED_DATA 0 &uobj->list 1
DATA_SOURCE 1 reason $1
HARD_MAX 1 reason 4
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ufile->hw_destroy_rwsem
TYPE_LOCK (struct ib_uverbs_file)->hw_destroy_rwsem

drivers/infiniband/core/rdma_core.c rdma_alloc_abort_uobject() -> uverbs_destroy_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 reason 3
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->method_elm 0
PARAM_VALUE 2 attrs->ucore.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ucore.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.first_waiter->type 0-1
BUF_SIZE 2 attrs->ufile s32min-(-1),1-s32max
CAPPED_DATA 2 attrs->driver_udata.inlen 1
CAPPED_DATA 2 attrs->driver_udata.outlen 1
CAPPED_DATA 2 attrs->ucore.inlen 1
CAPPED_DATA 2 attrs->ucore.outlen 1
DATA_SOURCE 0 uobj $0
DATA_SOURCE 2 attrs $1
NOSPEC 2 attrs->driver_udata.inlen
NOSPEC 2 attrs->driver_udata.outlen
NOSPEC 2 attrs->ucore.inlen
NOSPEC 2 attrs->ucore.outlen
NOCHECK_CALL
USER_DATA 0 uobj->user_handle 0-u64max
USER_DATA 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max[c]
USER_DATA 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max[c]
USER_DATA 2 attrs->ucore.inlen 0-524280,18446744073709551608-u64max[c]
USER_DATA 2 attrs->ucore.outlen 0-524280[c]
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/core/rdma_core.c rdma_assign_uobject() -> uverbs_destroy_uobject()

Type Parameter Key Value
PARAM_VALUE 0 uobj 4096-ptr_max
PARAM_VALUE 0 uobj->object 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->swap_uobjects 3232451603108548608
PARAM_VALUE 0 uobj->ufile->idr.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 reason 0
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ucore.inlen 4-120
PARAM_VALUE 2 attrs->ucore.outlen 0-524280
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->ufile->device 4096-ptr_max
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.dep_map->name 0-255
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 attrs->ufile->idr.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 attrs->uobject 0
BUF_SIZE 0 uobj s32min-(-1),1-s32max
BUF_SIZE 0 uobj s32min-(-1),1-s32max
CAPPED_DATA 0 uobj 1
CAPPED_DATA 0 uobj->uapi_object 1
CAPPED_DATA 2 attrs->driver_udata.inlen 1
CAPPED_DATA 2 attrs->ucore.inlen 1
CAPPED_DATA 2 attrs->ufile 1
DATA_SOURCE 0 uobj $0
DATA_SOURCE 2 attrs $2
NOSPEC 2 attrs->driver_udata.inlen
NOSPEC 2 attrs->ucore.inlen
NOCHECK_CALL
USER_DATA 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max[c]
USER_DATA 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->ucore.inlen 4-120[c]
USER_DATA 2 attrs->ucore.outlen 0-524280
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/core/rdma_core.c uobj_destroy() -> uverbs_destroy_uobject()

Type Parameter Key Value
PARAM_VALUE 0 uobj->usecnt.counter 0-s32max
PARAM_VALUE 1 reason 0
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->method_elm 0,4096-ptr_max
PARAM_VALUE 2 attrs->ucore.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ucore.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.dep_map->name 0-255
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.wait_lock.dep_map->name 0-255
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.wait_lock.owner (-1)
PARAM_VALUE 2 attrs->ufile->hw_destroy_rwsem.wait_lock.owner_cpu u32max
BUF_SIZE 0 uobj s32min-(-1),1-s32max
BUF_SIZE 0 uobj s32min-(-1),1-s32max
BUF_SIZE 2 attrs->ufile s32min-(-1),1-s32max
DATA_SOURCE 0 uobj $0
DATA_SOURCE 2 attrs $1
USER_DATA 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->ucore.inlen 4-120[c]
USER_DATA 2 attrs->ucore.outlen 0-524280
LOCK2 &ufile->hw_destroy_rwsem
HALF_LOCKED2 &ufile->device->disassociate_srcu
TYPE_LOCK (struct ib_uverbs_file)->hw_destroy_rwsem

drivers/infiniband/core/rdma_core.c uverbs_uobject_release() -> uverbs_destroy_uobject()

Type Parameter Key Value
PARAM_VALUE 0 uobj 4096-ptr_max
PARAM_VALUE 0 uobj->ufile 4096-ptr_max
PARAM_VALUE 0 uobj->usecnt.counter 0-s32max
PARAM_VALUE 1 reason 1
PARAM_VALUE 2 attrs 5586868829524254720
PARAM_VALUE 2 attrs->driver_udata.inlen 0
PARAM_VALUE 2 attrs->driver_udata.outlen 0
PARAM_VALUE 2 attrs->method_elm 0
PARAM_VALUE 2 attrs->ucore.inlen 0
PARAM_VALUE 2 attrs->ucore.outlen 0
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->uobject 0
BUF_SIZE 0 uobj (-1),26
BUF_SIZE 0 uobj (-1),26
DATA_SOURCE 0 uobj $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ufile->hw_destroy_rwsem
TYPE_LOCK (struct ib_uverbs_file)->hw_destroy_rwsem