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_dealloc_xrcd_user() -> (struct ib_device_ops)->dealloc_xrcd()

Type Parameter Key Value
PARAM_VALUE 0 xrcd 4096-ptr_max
PARAM_VALUE 0 xrcd->device 4096-ptr_max
PARAM_VALUE 0 xrcd->usecnt.counter 0
BUF_SIZE 0 xrcd (-1),1-s32max
BUF_SIZE 0 xrcd (-1),1-s32max
DATA_SOURCE 0 xrcd $0
DATA_SOURCE 1 udata $1
CONTAINER 0 -632-8-0+0 $(-1)
HALF_LOCKED2 &attrs->ufile->device->xrcd_tree_mutex
HALF_LOCKED2 &ibudev->xrcd_tree_mutex
TYPE_LOCK (struct ib_uverbs_device)->xrcd_tree_mutex