Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/ulp/rtrs/rtrs-clt.c destroy_con_cq_qp() -> rtrs_ib_dev_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &con->con_mutex
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rtrs_clt_con)->con_mutex

drivers/infiniband/ulp/rtrs/rtrs-srv.c __alloc_path() -> rtrs_ib_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->entry.next 4096-ptr_max
PARAM_VALUE 0 dev->entry.prev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler.device->event_handler_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dev->event_handler.device->event_handler_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 dev->ib_dev 4096-ptr_max
PARAM_VALUE 0 dev->ib_dev->dma_device->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->ib_pd 4096-ptr_max
PARAM_VALUE 0 dev->ib_pd->device 4096-ptr_max
PARAM_VALUE 0 dev->ib_pd->device->ops.size_ib_pd 0-4000000
PARAM_VALUE 0 dev->ib_pd->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 dev->ib_pd->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 dev->ib_pd->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 dev->ib_pd->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 dev->ib_pd->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ib_pd->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->ib_pd->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ib_pd->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ib_pd->res.kern_name 4470977615512817664
PARAM_VALUE 0 dev->ib_pd->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 dev->pool 389970654879023104,634408599670034432
PARAM_VALUE 0 dev->pool->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->ref.refcount.refs.counter (-1073741824),0-s32max
BUF_SIZE 0 dev (-1),80
BUF_SIZE 0 dev (-1),80
DATA_SOURCE 0 dev r rtrs_ib_dev_find_or_add
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->ib_dev->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 dev->ib_dev->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 dev->ib_dev->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 dev->ib_pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 dev->ib_pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 dev->ib_pd->device->phys_port_cnt
LOCK2 &srv->paths_mutex
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex
TYPE_LOCK (struct rtrs_srv_sess)->paths_mutex

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_close_work() -> rtrs_ib_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 dev->ib_dev->dma_device->dma_io_tlb_lock.rlock.dep_map->name 0-255
NOCHECK_CALL
HALF_LOCKED2 &pool->lock