Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->connection_timeout 0
PARAM_VALUE 0 srv_path->cur_cq_vector (-1)
PARAM_VALUE 0 srv_path->dma_addr 16,4096-ptr_max
PARAM_VALUE 0 srv_path->s.con 4096-ptr_max
PARAM_VALUE 0 srv_path->s.con_num 1-4096
PARAM_VALUE 0 srv_path->s.dev 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->entry.next 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->entry.prev 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->event_handler.device->event_handler_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 srv_path->s.dev->event_handler.device->event_handler_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 srv_path->s.dev->ib_dev 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->ib_pd 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->ib_pd->device 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->ib_pd->device->ops.size_ib_pd 0-4000000
PARAM_VALUE 0 srv_path->s.dev->ib_pd->res.comp.wait.lock.magic 3735899821
PARAM_VALUE 0 srv_path->s.dev->ib_pd->res.comp.wait.lock.owner (-1)
PARAM_VALUE 0 srv_path->s.dev->ib_pd->res.comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 srv_path->s.dev->ib_pd->res.comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->ib_pd->res.comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->ib_pd->res.comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->ib_pd->res.comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->ib_pd->res.comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->ib_pd->res.kern_name 4470977615512817664
PARAM_VALUE 0 srv_path->s.dev->ib_pd->res.kref.refcount.refs.counter 1
PARAM_VALUE 0 srv_path->s.dev->pool 389970654879023104,634408599670034432
PARAM_VALUE 0 srv_path->s.dev->pool->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 srv_path->s.dev->ref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 srv_path->s.hb_cqe 6096252049845313536
PARAM_VALUE 0 srv_path->s.hb_err_handler 5672214559153160192
PARAM_VALUE 0 srv_path->s.hb_interval_ms 5000
PARAM_VALUE 0 srv_path->s.hb_missed_cnt 0
PARAM_VALUE 0 srv_path->s.hb_missed_max 5
PARAM_VALUE 0 srv_path->s.hb_wq 0,4096-ptr_max
PARAM_VALUE 0 srv_path->s.irq_con_num 1-4096
PARAM_VALUE 0 srv_path->srv 4096-ptr_max
PARAM_VALUE 0 srv_path->srv->paths_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 srv_path->srv->paths_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 srv_path->srv->paths_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 srv_path->srv->paths_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 srv_path->srv->paths_num 0-127
PARAM_VALUE 0 srv_path->srv->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 srv_path->state 0
PARAM_VALUE 0 srv_path->stats 4096-ptr_max
PARAM_VALUE 0 srv_path->stats->rdma_stats 4096-ptr_max
PARAM_VALUE 0 srv_path->stats->srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->stats->srv_path->stats 4096-ptr_max
BUF_SIZE 0 srv_path 1416
BUF_SIZE 0 srv_path->dma_addr 0-u64max
BUF_SIZE 0 srv_path->s.con 8-32768
BUF_SIZE 0 srv_path->s.dev (-1),80
BUF_SIZE 0 srv_path->srv (-1),2040
BUF_SIZE 0 srv_path->stats 264
BUF_SIZE 0 srv_path->stats->rdma_stats 32
BUF_SIZE 0 srv_path->stats->srv_path 1416
DATA_SOURCE 0 srv_path r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 srv_path->s.con_num
NO_OVERFLOW_SIMPLE 0 srv_path->s.dev->ib_dev->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 srv_path->s.dev->ib_dev->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 srv_path->s.dev->ib_dev->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 srv_path->s.dev->ib_pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 srv_path->s.dev->ib_pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 srv_path->s.dev->ib_pd->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 srv_path->s.irq_con_num
NO_OVERFLOW_SIMPLE 0 srv_path->srv->queue_depth
LOCK2 &srv->paths_mutex
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex
TYPE_LOCK (struct rtrs_srv_sess)->paths_mutex