Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/ulp/rtrs/rtrs-srv.c post_recv_info_req() -> to_srv_path()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->con_num
NO_OVERFLOW_SIMPLE 0 s->irq_con_num
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 process_info_req() -> to_srv_path()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/rtrs/rtrs-srv.c rdma_write_sg() -> to_srv_path()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_hb_err_handler() -> to_srv_path()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/rtrs/rtrs-srv.c rtrs_srv_hb_err_handler() -> to_srv_path()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/ulp/rtrs/rtrs-srv.c send_io_resp_imm() -> to_srv_path()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING