Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_alloc_srq() -> srpt_alloc_ioctx_ring()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->pd 4096-ptr_max
PARAM_VALUE 0 sdev->pd->device 4096-ptr_max
PARAM_VALUE 0 sdev->pd->device->ops.create_srq 1-u64max
PARAM_VALUE 0 sdev->pd->device->ops.size_ib_srq 0-4000000
PARAM_VALUE 0 sdev->pd->res.task 0,4096-ptr_max
PARAM_VALUE 0 sdev->req_buf_cache 1-u64max
PARAM_VALUE 0 sdev->sdev_mutex.dep_map->name 0-255
PARAM_VALUE 0 sdev->sdev_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sdev->sdev_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sdev->sdev_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sdev->sdev_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->srq 0
PARAM_VALUE 2 ioctx_size 56
PARAM_VALUE 3 buf_cache 1-u64max
PARAM_VALUE 4 alignment_offset 0
PARAM_VALUE 5 dir 2
BUF_SIZE 0 sdev (-1),280-s32max
BUF_SIZE 0 sdev (-1),280-s32max
BUF_SIZE 0 sdev->pd->res.kern_name (-1),8
DATA_SOURCE 0 sdev $0 [m]
DATA_SOURCE 3 buf_cache r srpt_cache_get
STR_LEN 0 sdev->device (-1),6-9,11-12
STR_LEN 0 sdev->pd->device (-1),6-9,11-12
STR_LEN 0 sdev->pd->res.kern_name (-1),7
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sdev->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 sdev->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 sdev->pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 sdev->pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 sdev->pd->device->phys_port_cnt
UNITS 2 ioctx_size unit_byte
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &sport->mutex
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &devices_rwsem
HALF_LOCKED2 0 &sdev->sdev_mutex

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_cm_req_recv() -> srpt_alloc_ioctx_ring()

Type Parameter Key Value
PARAM_VALUE 1 ring_size 0-128
PARAM_VALUE 2 ioctx_size 984
PARAM_VALUE 3 buf_cache 1-u64max
PARAM_VALUE 4 alignment_offset 0
PARAM_VALUE 5 dir 1
CAPPED_DATA 1 ring_size 1
DATA_SOURCE 3 buf_cache r srpt_cache_get
RX_PATH
TASK_NOT_RUNNING
UNITS 1 ring_size unit_byte
UNITS 2 ioctx_size unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_cm_req_recv() -> srpt_alloc_ioctx_ring()

Type Parameter Key Value
PARAM_VALUE 1 ring_size 0-128
PARAM_VALUE 2 ioctx_size 56
PARAM_VALUE 3 buf_cache 1-u64max
PARAM_VALUE 5 dir 2
CAPPED_DATA 1 ring_size 1
DATA_SOURCE 3 buf_cache r srpt_cache_get
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 ring_size
UNITS 1 ring_size unit_array_size
UNITS 2 ioctx_size unit_byte
UNITS 4 alignment_offset unit_byte
HALF_LOCKED2 &pool->lock