Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/rds/ib_send.c rds_ib_xmit() -> rds_rdma_cookie_key()

Type Parameter Key Value
PARAM_VALUE 0 cookie 1-u64max

net/rds/rdma.c rds_cmsg_atomic() -> rds_rdma_cookie_key()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cookie 0-u64max[u]
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/rds/rdma.c rds_cmsg_rdma_args() -> rds_rdma_cookie_key()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cookie 0-u64max[u]
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cookie 0-u64max
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 cookie 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cookie 1-u64max
LOCK2 &rs->rs_rdma_lock
LOCK2 flags
TYPE_LOCK (struct rds_sock)->rs_rdma_lock