Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_add_one() -> srpt_use_srq()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->device 4096-ptr_max
PARAM_VALUE 0 sdev->device->client_data_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->pd 4096-ptr_max
PARAM_VALUE 0 sdev->pd->device 4096-ptr_max
PARAM_VALUE 0 sdev->pd->device->ops.size_ib_pd 0-4000000
PARAM_VALUE 0 sdev->pd->flags 0
PARAM_VALUE 0 sdev->pd->res.comp.done 0
PARAM_VALUE 0 sdev->pd->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 sdev->pd->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 sdev->pd->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 sdev->pd->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 sdev->pd->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 sdev->pd->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 sdev->pd->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 sdev->pd->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 sdev->pd->res.kern_name 8563663045993623552
PARAM_VALUE 0 sdev->pd->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 sdev->pd->res.type 0
PARAM_VALUE 0 sdev->port 4096-ptr_max
PARAM_VALUE 0 sdev->refcnt.refcount.refs.counter 1
PARAM_VALUE 0 sdev->sdev_mutex.dep_map->name 0-255
PARAM_VALUE 0 sdev->sdev_mutex.first_waiter 0
PARAM_VALUE 0 sdev->sdev_mutex.magic 4096-ptr_max
PARAM_VALUE 0 sdev->sdev_mutex.osq.tail.counter 0
PARAM_VALUE 0 sdev->sdev_mutex.owner.counter 0
BUF_SIZE 0 sdev 280-2027224563520
BUF_SIZE 0 sdev 280-2027224563520
BUF_SIZE 0 sdev->pd s32min-s32max
BUF_SIZE 0 sdev->pd->res.kern_name 8
CAPPED_DATA 0 sdev->srq_size 1
DATA_SOURCE 0 sdev r _kzalloc_noprof
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 7
TERMINATED 0 sdev->pd->res.kern_name 1
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
LOCK2 &device->client_data_rwsem
LOCK2 global &clients_rwsem
LOCK2 global &devices_rwsem
HALF_LOCKED2 &device->unregistration_lock
TYPE_LOCK (struct ib_device)->client_data_rwsem

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_tpg_attrib_use_srq_store() -> srpt_use_srq()

Type Parameter Key Value
PARAM_VALUE 0 sdev->sdev_mutex.dep_map->name 0-255
PARAM_VALUE 0 sdev->sdev_mutex.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 sdev->sdev_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sdev->sdev_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->sdev_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->sdev_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 sdev->sdev_mutex.wait_lock.owner_cpu u32max
CAPPED_DATA 0 &sdev->sdev_mutex 1
NOSPEC 1 use_srq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 use_srq
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
LOCK2 &sport->mutex
LOCK2 0 &sdev->sdev_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem
TYPE_LOCK (struct srpt_device)->sdev_mutex
TYPE_LOCK (struct srpt_port)->mutex