Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rds/rdma.c __rds_rdma_map() -> rds_mr_tree_walk()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 2 insert 4096-ptr_max
PARAM_VALUE 2 insert->r_kref.refcount.refs.counter 1
PARAM_VALUE 2 insert->r_sock 4096-ptr_max
PARAM_VALUE 2 insert->r_sock->rs_transport 4096-ptr_max
PARAM_VALUE 2 insert->r_trans 4096-ptr_max
PARAM_VALUE 2 insert->r_trans->get_mr 1553523726035988480
PARAM_VALUE 2 insert->r_trans_private 4096-ptr_max
BUF_SIZE 2 insert 64
BUF_SIZE 2 insert->r_trans_private 512
DATA_SOURCE 2 insert r _kzalloc_noprof
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &rs->rs_rdma_lock
LOCK2 flags
TYPE_LOCK (struct rds_sock)->rs_rdma_lock

net/rds/rdma.c rds_cmsg_rdma_dest() -> rds_mr_tree_walk()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 2 insert 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 key 0-u32max
LOCK2 &rs->rs_rdma_lock
LOCK2 flags
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk
TYPE_LOCK (struct rds_sock)->rs_rdma_lock

net/rds/rdma.c rds_free_mr() -> rds_mr_tree_walk()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 1 key 1-u32max
PARAM_VALUE 2 insert 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 key 1-u32max
LOCK2 &rs->rs_rdma_lock
LOCK2 flags
TYPE_LOCK (struct rds_sock)->rs_rdma_lock

net/rds/rdma.c rds_rdma_unuse() -> rds_mr_tree_walk()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 2 insert 0
DATA_SOURCE 1 key $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &rs->rs_rdma_lock
LOCK2 flags
TYPE_LOCK (struct rds_sock)->rs_rdma_lock