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

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->cm_id 0,4096-ptr_max
PARAM_VALUE 0 sdev->device->cache_lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->device->client_data_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->pd 4096-u64max
PARAM_VALUE 0 sdev->pd->device->ops.dealloc_pd 4096-ptr_max
PARAM_VALUE 0 sdev->pd->device->ops.size_ib_pd 0-4000000
PARAM_VALUE 0 sdev->pd->device->ops.size_ib_srq 0-4000000
PARAM_VALUE 0 sdev->pd->res.comp.done 0-4294967293,u32max
PARAM_VALUE 0 sdev->pd->res.comp.wait.lock.dep_map->name 0-255
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->next 4096-ptr_max
PARAM_VALUE 0 sdev->pd->res.comp.wait.task_list.prev->next->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.task->rcu.func 1-u64max
PARAM_VALUE 0 sdev->port 4096-ptr_max
PARAM_VALUE 0 sdev->sdev_mutex.dep_map->name 0-255
PARAM_VALUE 0 sdev->srq 0
BUF_SIZE 0 sdev 280-2027224563520
BUF_SIZE 0 sdev 280-2027224563520
BUF_SIZE 0 sdev->cm_id (-1)-0,56
BUF_SIZE 0 sdev->cm_id->context 280-2027224563520,u64max
BUF_SIZE 0 sdev->pd (-1),280
CAPPED_DATA 0 sdev->pd 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)
STR_LEN 0 sdev->pd->res.kern_name (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sdev->cm_id->id.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 sdev->cm_id->id.device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 sdev->cm_id->id.device->phys_port_cnt
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->req_buf_cache->ref.refs.counter
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_drop_tport() -> srpt_sdev_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &hba->hba_access_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &opts->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &subsys->su_mutex
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &func_lock
HALF_LOCKED2 global &target_cleanup_list_lock
HALF_LOCKED2 global &target_list_lock
HALF_LOCKED2 su_mutex

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_make_tport() -> srpt_sdev_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &subsys->su_mutex
HALF_LOCKED2 &dentry->d_lockref.lock
TYPE_LOCK (struct configfs_subsystem)->su_mutex

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_remove_one() -> srpt_sdev_put()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->cm_id 0,4096-ptr_max
PARAM_VALUE 0 sdev->cm_id->state 0-5,7-8,16-u32max
PARAM_VALUE 0 sdev->device 4096-ptr_max
PARAM_VALUE 0 sdev->device->cache_lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->device->phys_port_cnt 0-2147483646,2147483648-u32max
PARAM_VALUE 0 sdev->event_handler.device 4096-ptr_max
PARAM_VALUE 0 sdev->event_handler.device->event_handler_rwsem.dep_map->name 0-255
PARAM_VALUE 0 sdev->event_handler.device->event_handler_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 0 sdev->event_handler.device->event_handler_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 sdev->event_handler.device->event_handler_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 sdev->event_handler.device->event_handler_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 sdev->event_handler.device->event_handler_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->pd 4096-ptr_max
PARAM_VALUE 0 sdev->pd->device->ops.dealloc_pd 4096-ptr_max
PARAM_VALUE 0 sdev->pd->res.comp.done 0-4294967293,u32max
PARAM_VALUE 0 sdev->pd->res.comp.wait.lock.dep_map->name 0-255
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.prev->next 4096-ptr_max
PARAM_VALUE 0 sdev->pd->res.comp.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sdev->pd->res.task->rcu.func 1-u64max
PARAM_VALUE 0 sdev->srq 0
CAPPED_DATA 0 sdev->device->phys_port_cnt 1
CAPPED_DATA 0 sdev->pd 1
DATA_SOURCE 0 sdev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->unregistration_lock