Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/rds/ib_send.c rds_ib_send_cqe_handler() -> rds_message_unmapped()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
PARAM_VALUE 0 rm->atomic.op_rdma_mr->r_trans_private->pool->clean_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rm->atomic.op_rdma_mr->r_trans_private->pool->flush_lock.dep_map->name 0-255
PARAM_VALUE 0 rm->data.op_mmp_znotifier->z_mmp.user->uidhash_node->next->pprev 1-u64max
PARAM_VALUE 0 rm->data.op_mmp_znotifier->z_mmp.user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 rm->m_final_op 1-u64max
PARAM_VALUE 0 rm->m_rs_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_sock->rs_rdma_keys.rb_node 4096-ptr_max
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private 0
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->device->refcount.refs.counter s32min-s32max
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->pool->clean_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->pool->dirty_count.counter s32min-s32max
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->pool->flush_lock.dep_map->name 0-255
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->pool->flush_lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->pool->flush_worker.cpu s32min-s32max
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->pool->flush_worker.timer.flags 0-4294967295
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->pool->free_pinned.counter s32min-s32max
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->pool->item_count.counter s32min-s32max
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->work.cpu s32min-s32max
PARAM_VALUE 0 rm->rdma.op_rdma_mr->r_trans_private->work.timer.flags 0-4294967295
CAPPED_DATA 0 rm->m_final_op 1
DATA_SOURCE 0 rm r rds_ib_send_unmap_op
NOCHECK_CALL

net/rds/send.c rds_send_path_reset() -> rds_message_unmapped()

Type Parameter Key Value
PARAM_VALUE 0 rm 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rs_tcp->t_conn_path_lock
HALF_LOCKED2 &rtn->rds_tcp_accept_lock