Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/infiniband/ulp/rtrs/rtrs-srv-sysfs.c rtrs_srv_disconnect_store() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->kobj.sd 4096-ptr_max
PARAM_VALUE 0 srv_path->kobj.sd->__parent 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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 close_paths() -> close_path()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &ctx->srv_mutex
LOCK2 &srv->paths_mutex
TYPE_LOCK (struct rtrs_srv_ctx)->srv_mutex
TYPE_LOCK (struct rtrs_srv_sess)->paths_mutex

drivers/infiniband/ulp/rtrs/rtrs-srv.c process_io_req() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->dma_addr 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev 4096-ptr_max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/rtrs/rtrs-srv.c process_read() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->ids_inflight_ref.percpu_count_ptr 1-u64max
PARAM_VALUE 0 srv_path->ops_ids 4096-ptr_max
PARAM_VALUE 0 srv_path->srv 4096-ptr_max
PARAM_VALUE 0 srv_path->srv->chunks 4096-ptr_max
PARAM_VALUE 0 srv_path->state 1
PARAM_VALUE 0 srv_path->stats 4096-ptr_max
PARAM_VALUE 0 srv_path->stats->rdma_stats 4096-ptr_max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/rtrs/rtrs-srv.c process_write() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->ids_inflight_ref.percpu_count_ptr 1-u64max
PARAM_VALUE 0 srv_path->ops_ids 4096-ptr_max
PARAM_VALUE 0 srv_path->srv 4096-ptr_max
PARAM_VALUE 0 srv_path->srv->chunks 4096-ptr_max
PARAM_VALUE 0 srv_path->state 1
PARAM_VALUE 0 srv_path->stats 4096-ptr_max
PARAM_VALUE 0 srv_path->stats->rdma_stats 4096-ptr_max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_rdma_connect() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->complete_done.done 0
PARAM_VALUE 0 srv_path->complete_done.wait.lock.magic 3735899821
PARAM_VALUE 0 srv_path->complete_done.wait.lock.owner (-1)
PARAM_VALUE 0 srv_path->complete_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 srv_path->complete_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 srv_path->complete_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 srv_path->complete_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 srv_path->complete_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 srv_path->complete_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 srv_path->cur_cq_vector (-1)-64
PARAM_VALUE 0 srv_path->dma_addr 16,4096-ptr_max
PARAM_VALUE 0 srv_path->ids_inflight_ref.data 4096-ptr_max
PARAM_VALUE 0 srv_path->ids_inflight_ref.data->count.counter s64min-(-9223372036854775807),0-s64max
PARAM_VALUE 0 srv_path->ids_inflight_ref.data->ref 4096-ptr_max
PARAM_VALUE 0 srv_path->ids_inflight_ref.percpu_count_ptr 4096-18446744073709547523
PARAM_VALUE 0 srv_path->mem_bits 0-27,4294967260-u32max
PARAM_VALUE 0 srv_path->mrs 16,4096-ptr_max
PARAM_VALUE 0 srv_path->ops_ids 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_dev->dma_device->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev->ib_dev->dma_device->dma_io_tlb_pools.next->prev->prev 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->dev.parent->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 srv_path->s.dev->ib_pd->device->ops.alloc_mr 1-u64max
PARAM_VALUE 0 srv_path->s.dev->ib_pd->device->ops.create_qp 1-u64max
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->device->port_data 4096-ptr_max
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->s.recon_cnt 0-u16max
PARAM_VALUE 0 srv_path->s.signal_interval 1-512
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->queue_depth 0-s32max
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 (-1),1416
BUF_SIZE 0 srv_path (-1),1416
BUF_SIZE 0 srv_path->srv (-1),2040
CAPPED_DATA 0 srv_path->mrs 1
CAPPED_DATA 0 srv_path->srv->queue_depth 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 srv_path->mrs_num
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
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_check_close_path() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->connection_timeout 1-u64max
PARAM_VALUE 0 srv_path->state 0
DATA_SOURCE 0 srv_path $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_hb_err_handler() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_info_req_done() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev 4096-ptr_max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_info_rsp_done() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->s.dev 4096-ptr_max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_inv_rkey_done() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_rdma_cm_handler() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_rdma_done() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_rdma_done() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->s.hb_missed_cnt 0
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_rdma_done() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->s.hb_missed_cnt 0
PARAM_VALUE 0 srv_path->srv 4096-ptr_max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_rdma_done() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->mrs 4096-ptr_max
PARAM_VALUE 0 srv_path->s.hb_missed_cnt 0
PARAM_VALUE 0 srv_path->srv 4096-ptr_max
PARAM_VALUE 0 srv_path->srv->queue_depth 1-u64max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_reg_mr_done() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_resp_rdma() -> close_path()

Type Parameter Key Value
PARAM_VALUE 0 srv_path 4096-ptr_max
PARAM_VALUE 0 srv_path->state 1
DATA_SOURCE 0 srv_path r to_srv_path
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL