Defined in 1 files as a prototype:

Defined in 1 files as a member:

Defined in 2 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/infiniband/ulp/rtrs/rtrs-clt.c rtrs_clt_create_path_from_sysfs() -> free_path()

Type Parameter Key Value
PARAM_VALUE 0 clt_path 4096-ptr_max
PARAM_VALUE 0 clt_path->close_work.lockdep_map->name 0-255
PARAM_VALUE 0 clt_path->clt 4096-ptr_max
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.dep_map->name 0-255
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 clt_path->clt->paths_list.prev 4096-ptr_max
PARAM_VALUE 0 clt_path->clt->paths_mutex.dep_map->name 0-255
PARAM_VALUE 0 clt_path->clt->paths_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 clt_path->clt->paths_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 clt_path->clt->paths_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->clt->paths_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 clt_path->clt->paths_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 clt_path->clt->paths_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 clt_path->clt->paths_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 clt_path->clt->paths_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 clt_path->connected_cnt.counter 0
PARAM_VALUE 0 clt_path->established 1
PARAM_VALUE 0 clt_path->init_mutex.dep_map->name 0-255
PARAM_VALUE 0 clt_path->init_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 clt_path->init_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 clt_path->max_pages_per_mr 128
PARAM_VALUE 0 clt_path->mp_skip_entry 4096-ptr_max
PARAM_VALUE 0 clt_path->reconnect_attempts 0
PARAM_VALUE 0 clt_path->reqs 0,16,4096-ptr_max
PARAM_VALUE 0 clt_path->s.con 16,4096-ptr_max
PARAM_VALUE 0 clt_path->s.con_num 1-8194
PARAM_VALUE 0 clt_path->s.dev->ib_pd->device->ops.alloc_mr 1-u64max
PARAM_VALUE 0 clt_path->s.entry.next 4096-ptr_max
PARAM_VALUE 0 clt_path->s.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_cqe 8556408699779784704
PARAM_VALUE 0 clt_path->s.hb_dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_dwork.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_err_handler 5397736646581309440
PARAM_VALUE 0 clt_path->s.hb_interval_ms 5000
PARAM_VALUE 0 clt_path->s.hb_missed_cnt 0
PARAM_VALUE 0 clt_path->s.hb_missed_max 5
PARAM_VALUE 0 clt_path->s.hb_wq 0,4096-ptr_max
PARAM_VALUE 0 clt_path->s.irq_con_num 1-8194
PARAM_VALUE 0 clt_path->s.uuid->b 0-255
PARAM_VALUE 0 clt_path->state 0-1,4
PARAM_VALUE 0 clt_path->state_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 clt_path->state_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 clt_path->state_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->stats 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->kobj_stats.release.timer.flags 0-4294967295
PARAM_VALUE 0 clt_path->stats->kobj_stats.state_in_sysfs 0-1
PARAM_VALUE 0 clt_path->stats->reconnects.successful_cnt (-2147483647)-2147483648
PARAM_VALUE 0 *clt_path->chunk_size 0-4294967295
PARAM_VALUE 0 *clt_path->established 0-1
PARAM_VALUE 0 *clt_path->flags 0-4294967295
PARAM_VALUE 0 *clt_path->for_new_clt 0-255
PARAM_VALUE 0 *clt_path->hca_port 0-255
PARAM_VALUE 0 *clt_path->max_hdr_size 0-4294967295
PARAM_VALUE 0 *clt_path->max_pages_per_mr 0-4294967295
PARAM_VALUE 0 *clt_path->reconnect_attempts 0-4294967295
PARAM_VALUE 0 *clt_path->state 0-4294967295
BUF_SIZE 0 clt_path 2080
BUF_SIZE 0 clt_path 2080
CAPPED_DATA 0 clt_path 1
CAPPED_DATA 0 clt_path->s.con_num 1
DATA_SOURCE 0 clt_path r alloc_path
PARAM_COMPARE 0 &clt_path->clt->paths_list >= $0->s.entry.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 clt_path->queue_depth
NO_OVERFLOW_SIMPLE 0 clt_path->s.con_num
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/infiniband/ulp/rtrs/rtrs-clt.c rtrs_clt_open() -> free_path()

Type Parameter Key Value
PARAM_VALUE 0 clt_path 4096-ptr_max
PARAM_VALUE 0 clt_path->close_work.lockdep_map->name 0-255
PARAM_VALUE 0 clt_path->clt 4096-ptr_max
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.dep_map->name 0-255
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 clt_path->connected_cnt.counter 0
PARAM_VALUE 0 clt_path->established 1
PARAM_VALUE 0 clt_path->init_mutex.dep_map->name 0-255
PARAM_VALUE 0 clt_path->init_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 clt_path->init_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 clt_path->max_pages_per_mr 128
PARAM_VALUE 0 clt_path->mp_skip_entry 4096-ptr_max
PARAM_VALUE 0 clt_path->reconnect_attempts 0
PARAM_VALUE 0 clt_path->reqs 0,16,4096-ptr_max
PARAM_VALUE 0 clt_path->s.con 16,4096-ptr_max
PARAM_VALUE 0 clt_path->s.con_num 1-8194
PARAM_VALUE 0 clt_path->s.dev->ib_pd->device->ops.alloc_mr 1-u64max
PARAM_VALUE 0 clt_path->s.entry.next 4096-ptr_max
PARAM_VALUE 0 clt_path->s.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_cqe 8556408699779784704
PARAM_VALUE 0 clt_path->s.hb_dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_dwork.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_err_handler 5397736646581309440
PARAM_VALUE 0 clt_path->s.hb_interval_ms 5000
PARAM_VALUE 0 clt_path->s.hb_missed_cnt 0
PARAM_VALUE 0 clt_path->s.hb_missed_max 5
PARAM_VALUE 0 clt_path->s.hb_wq 0,4096-ptr_max
PARAM_VALUE 0 clt_path->s.irq_con_num 1-8194
PARAM_VALUE 0 clt_path->s.uuid->b 0-255
PARAM_VALUE 0 clt_path->state 0-1,4
PARAM_VALUE 0 clt_path->state_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 clt_path->state_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 clt_path->state_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->stats 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->reconnects.successful_cnt (-1)
BUF_SIZE 0 clt_path 2080
BUF_SIZE 0 clt_path 2080
BUF_SIZE 0 clt_path->clt 2408
CAPPED_DATA 0 clt_path->s.con_num 1
DATA_SOURCE 0 clt_path r alloc_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 clt_path->queue_depth
NO_OVERFLOW_SIMPLE 0 clt_path->s.con_num
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/infiniband/ulp/rtrs/rtrs-clt.c rtrs_clt_open() -> free_path()

Type Parameter Key Value
PARAM_VALUE 0 clt_path 4096-ptr_max
PARAM_VALUE 0 clt_path->close_work.lockdep_map->name 0-255
PARAM_VALUE 0 clt_path->clt 4096-ptr_max
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.dep_map->name 0-255
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 clt_path->clt->paths_ev_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 clt_path->connected_cnt.counter 0
PARAM_VALUE 0 clt_path->established 1
PARAM_VALUE 0 clt_path->init_mutex.dep_map->name 0-255
PARAM_VALUE 0 clt_path->init_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 clt_path->init_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 clt_path->init_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 clt_path->kobj->name 0-255
PARAM_VALUE 0 clt_path->kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 clt_path->kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 clt_path->kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->kobj.sd->__parent 0
PARAM_VALUE 0 clt_path->kobj.sd->dir.children.rb_node 0
PARAM_VALUE 0 clt_path->kobj.state_in_sysfs 0
PARAM_VALUE 0 clt_path->max_pages_per_mr 128
PARAM_VALUE 0 clt_path->mp_skip_entry 4096-ptr_max
PARAM_VALUE 0 clt_path->queue_depth 0-s32max
PARAM_VALUE 0 clt_path->reconnect_attempts 0
PARAM_VALUE 0 clt_path->reqs 16,4096-ptr_max
PARAM_VALUE 0 clt_path->s.con 16,4096-ptr_max
PARAM_VALUE 0 clt_path->s.con_num 1-8194
PARAM_VALUE 0 clt_path->s.dev->ib_pd->device->ops.alloc_mr 1-u64max
PARAM_VALUE 0 clt_path->s.entry.next 4096-ptr_max
PARAM_VALUE 0 clt_path->s.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_cqe 8556408699779784704
PARAM_VALUE 0 clt_path->s.hb_dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_dwork.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.hb_err_handler 5397736646581309440
PARAM_VALUE 0 clt_path->s.hb_interval_ms 5000
PARAM_VALUE 0 clt_path->s.hb_missed_cnt 0
PARAM_VALUE 0 clt_path->s.hb_missed_max 5
PARAM_VALUE 0 clt_path->s.hb_wq 0,4096-ptr_max
PARAM_VALUE 0 clt_path->s.irq_con_num 1-8194
PARAM_VALUE 0 clt_path->s.uuid->b 0-255
PARAM_VALUE 0 clt_path->state 0,4
PARAM_VALUE 0 clt_path->state_wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 clt_path->state_wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 clt_path->state_wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->stats 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->kobj_stats.release.timer.flags 0-4294967295
PARAM_VALUE 0 clt_path->stats->kobj_stats.state_in_sysfs 0-1
PARAM_VALUE 0 clt_path->stats->reconnects.successful_cnt (-2147483647)-2147483648
BUF_SIZE 0 clt_path 2080
BUF_SIZE 0 clt_path 2080
BUF_SIZE 0 clt_path->clt 2408
CAPPED_DATA 0 clt_path->queue_depth 1
CAPPED_DATA 0 clt_path->s.con_num 1
DATA_SOURCE 0 clt_path r alloc_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 clt_path->queue_depth
NO_OVERFLOW_SIMPLE 0 clt_path->s.con_num
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 clt_path 4096-ptr_max
PARAM_VALUE 0 clt_path->complete_done.done 0-4294967293,u32max
PARAM_VALUE 0 clt_path->complete_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->complete_done.wait.lock.owner (-1)
PARAM_VALUE 0 clt_path->complete_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 clt_path->complete_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 clt_path->complete_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 clt_path->established 0
PARAM_VALUE 0 clt_path->ids_inflight_ref.data 0,4096-ptr_max
PARAM_VALUE 0 clt_path->ids_inflight_ref.data->rcu.func 1-u64max
PARAM_VALUE 0 clt_path->kobj.sd->__parent 0
PARAM_VALUE 0 clt_path->mrs 4096-ptr_max
PARAM_VALUE 0 clt_path->mrs_num 0-s32max
PARAM_VALUE 0 clt_path->ops_ids 0
PARAM_VALUE 0 clt_path->s.con_num 0-s32max
PARAM_VALUE 0 clt_path->s.dev 4096-ptr_max
PARAM_VALUE 0 clt_path->s.dev->ib_dev->dma_device->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->s.hb_dwork.work.lockdep_map->name 0-255
PARAM_VALUE 0 clt_path->s.hb_missed_cnt 0
PARAM_VALUE 0 clt_path->srv 0
PARAM_VALUE 0 clt_path->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->stats 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->kobj_stats.entry.next->next 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->kobj_stats.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->kobj_stats.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->kobj_stats.kset->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->kobj_stats.kset->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->kobj_stats.kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 clt_path->stats->kobj_stats.parent 0
PARAM_VALUE 0 clt_path->stats->kobj_stats.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->kobj_stats.parent->release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 clt_path->stats->kobj_stats.sd 0
CAPPED_DATA 0 clt_path->dma_addr 1
CAPPED_DATA 0 clt_path->mrs 1
CAPPED_DATA 0 clt_path->mrs_num 1
CAPPED_DATA 0 clt_path->s.con 1
CAPPED_DATA 0 clt_path->s.con_num 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/rtrs/rtrs-clt-sysfs.c rtrs_clt_path_release() -> free_path()

Type Parameter Key Value
PARAM_VALUE 0 clt_path 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock