Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/core/rdma_core.c uverbs_get_uobject_from_file() -> rdma_alloc_begin_uobject()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-u64max
PARAM_VALUE 1 attrs 4096-ptr_max
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.first_waiter->handoff_set 0-1
PARAM_VALUE 1 attrs->ufile->hw_destroy_rwsem.first_waiter->type 0-1
DATA_SOURCE 0 obj r uapi_get_object
DATA_SOURCE 1 attrs $3
LOCK2 &ufile->device->disassociate_srcu
HALF_LOCKED2 1 &attrs->ufile->hw_destroy_rwsem
TYPE_LOCK (struct ib_uverbs_device)->disassociate_srcu

drivers/infiniband/core/uverbs_cmd.c __uobj_alloc() -> rdma_alloc_begin_uobject()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-u64max
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->uobject 0
BUF_SIZE 1 attrs->ufile s32min-(-1),1-s32max
CAPPED_DATA 1 attrs->ucore.inlen 1
CAPPED_DATA 1 attrs->ufile 1
DATA_SOURCE 0 obj $0
DATA_SOURCE 1 attrs $1
NOSPEC 1 attrs->ucore.inlen
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 4-524280,18446744073709551608-u64max[c]
USER_DATA 1 attrs->ucore.outlen 0-524280
HALF_LOCKED2 &file->device->disassociate_srcu
HALF_LOCKED2 &ibudev->xrcd_tree_mutex