Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/verbs.c ib_alloc_xrcd_user() -> (struct ib_device_ops)->alloc_xrcd()

Type Parameter Key Value
PARAM_VALUE 0 ibxrcd 4096-ptr_max
PARAM_VALUE 0 ibxrcd->device 4096-ptr_max
PARAM_VALUE 0 ibxrcd->device->ops.alloc_xrcd 1-u64max
PARAM_VALUE 0 ibxrcd->device->ops.size_ib_xrcd 0-4000000
PARAM_VALUE 0 ibxrcd->tgt_qps.xa_flags 0
PARAM_VALUE 0 ibxrcd->tgt_qps.xa_head 0
PARAM_VALUE 0 ibxrcd->tgt_qps_rwsem.count.counter 0
PARAM_VALUE 0 ibxrcd->tgt_qps_rwsem.dep_map->name 0-255
PARAM_VALUE 0 ibxrcd->tgt_qps_rwsem.first_waiter 0
PARAM_VALUE 0 ibxrcd->tgt_qps_rwsem.magic 4096-ptr_max
PARAM_VALUE 0 ibxrcd->tgt_qps_rwsem.osq.tail.counter 0
PARAM_VALUE 0 ibxrcd->tgt_qps_rwsem.owner.counter 0
PARAM_VALUE 0 ibxrcd->usecnt.counter 0
PARAM_VALUE 1 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 1 udata->outlen 0-524280,18446744073709551361-u64max
BUF_SIZE 0 ibxrcd s32min-s32max
DATA_SOURCE 0 ibxrcd r rdma_zalloc_obj
DATA_SOURCE 1 udata $2
USER_DATA 1 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 1 udata->outlen 0-524280,18446744073709551361-u64max
LOCK2 &ibudev->xrcd_tree_mutex
HALF_LOCKED2 &file->device->disassociate_srcu
TYPE_LOCK (struct ib_uverbs_device)->xrcd_tree_mutex