Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
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.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->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
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 srv_path->s.con_num
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