Open Menu /

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_post_recv()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->ioctx_ring 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 4096-ptr_max
PARAM_VALUE 0 sdev->srq_size 1-s32max
PARAM_VALUE 0 sdev->use_srq 1
PARAM_VALUE 1 ch 0
BUF_SIZE 0 sdev (-1),280-s32max
BUF_SIZE 0 sdev (-1),280-s32max
BUF_SIZE 0 sdev->ioctx_ring s32min-s32max
BUF_SIZE 0 sdev->pd->res.kern_name (-1),8
BUF_SIZE 0 sdev->srq s32min-s32max
CAPPED_DATA 0 sdev->ioctx_ring 1
CAPPED_DATA 0 sdev->req_buf_cache 1
CAPPED_DATA 0 sdev->srq_size 1
DATA_SOURCE 0 sdev $0 [m]
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
NOCHECK_CALL
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
NO_OVERFLOW_SIMPLE 0 sdev->srq_size
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_create_ch_ib() -> srpt_post_recv()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->device->cq_pools_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sdev->pd 4096-ptr_max
PARAM_VALUE 0 sdev->pd->device->ops.create_qp 1-u64max
PARAM_VALUE 0 sdev->pd->device->port_data 4096-ptr_max
PARAM_VALUE 0 sdev->use_srq 0
PARAM_VALUE 1 ch 4096-ptr_max
PARAM_VALUE 1 ch->cmd_wait_list.next 4096-ptr_max
PARAM_VALUE 1 ch->cmd_wait_list.next->next 4096-ptr_max
PARAM_VALUE 1 ch->cmd_wait_list.prev 4096-ptr_max
PARAM_VALUE 1 ch->cmd_wait_list.prev->next 4096-ptr_max
PARAM_VALUE 1 ch->cmd_wait_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ch->cq 0-ptr_max
PARAM_VALUE 1 ch->cq_size 4-65663
PARAM_VALUE 1 ch->ib_cm.cm_id 2355209180356726784
PARAM_VALUE 1 ch->ib_cm.cm_id->cm_handler 4683445290582331392
PARAM_VALUE 1 ch->ioctx_recv_ring 4096-ptr_max
PARAM_VALUE 1 ch->ioctx_ring 16,4096-ptr_max
PARAM_VALUE 1 ch->kref.refcount.refs.counter 1
PARAM_VALUE 1 ch->max_rsp_size 40-1024
PARAM_VALUE 1 ch->nexus 4096-ptr_max
PARAM_VALUE 1 ch->qp 4096-ptr_max
PARAM_VALUE 1 ch->rq_size 1-128
PARAM_VALUE 1 ch->rsp_buf_cache 1-u64max
PARAM_VALUE 1 ch->sport 4096-ptr_max
PARAM_VALUE 1 ch->sport->enabled 1
PARAM_VALUE 1 ch->sport->port_attrib.srp_max_rsp_size 40-1024
PARAM_VALUE 1 ch->sport->sdev->device->cq_pools_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ch->sport->sdev->pd->device->ops.create_qp 1-u64max
PARAM_VALUE 1 ch->sport->sdev->pd->device->port_data 4096-ptr_max
PARAM_VALUE 1 ch->state 0
PARAM_VALUE 1 ch->zw_cqe.done 1123395754510790656
BUF_SIZE 1 ch 400
BUF_SIZE 1 ch->nexus (-1),80
BUF_SIZE 1 ch->qp s32min-s32max
CAPPED_DATA 1 ch->cq_size 1
CAPPED_DATA 1 ch->ioctx_ring 1
CAPPED_DATA 1 ch->rq_size 1
CAPPED_DATA 1 ch->rsp_buf_cache 1
DATA_SOURCE 1 ch $0 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 ch->cq->cqe_used
NO_OVERFLOW_SIMPLE 1 ch->req_buf_cache->ref.refs.counter
NO_OVERFLOW_SIMPLE 1 ch->rsp_buf_cache->ref.refs.counter
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_handle_new_iu() -> srpt_post_recv()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 1 ch 4096-ptr_max
PARAM_VALUE 1 ch->sport 4096-ptr_max
PARAM_VALUE 1 ch->sport->sdev 4096-ptr_max
PARAM_VALUE 1 ch->state 1-u32max
PARAM_VALUE 2 ioctx 4096-ptr_max
PARAM_VALUE 2 ioctx->wait_list.next 4096-ptr_max
BUF_SIZE 1 ch s32min-(-2),1-s32max
BUF_SIZE 1 ch s32min-(-2),1-s32max
CAPPED_DATA 1 ch 1
CAPPED_DATA 2 &ioctx->wait_list 1
DATA_SOURCE 1 ch $0
DATA_SOURCE 2 ioctx $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ch unit_byte

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_release_cmd() -> srpt_post_recv()

Type Parameter Key Value
PARAM_VALUE 1 ch 4096-ptr_max
PARAM_VALUE 1 ch->sport 4096-ptr_max
PARAM_VALUE 2 ioctx 4096-ptr_max
CAPPED_DATA 2 &ioctx->wait_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ch unit_byte
HALF_LOCKED2 &pool->lock