Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

net/rds/ib_cm.c rds_ib_conn_path_shutdown() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

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_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
DATA_SOURCE 0 rm r rds_ib_send_unmap_op
NOCHECK_CALL

net/rds/loop.c rds_loop_inc_free() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rs_tcp->t_conn_path_lock
HALF_LOCKED2 &rtn->rds_tcp_accept_lock
HALF_LOCKED2 osock->sk

net/rds/message.c rds_message_map_pages() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
PARAM_VALUE 0 rm->data.op_nents 2
PARAM_VALUE 0 rm->data.op_sg->dma_address 0
PARAM_VALUE 0 rm->data.op_sg->dma_flags 0
PARAM_VALUE 0 rm->data.op_sg->dma_length 0
PARAM_VALUE 0 rm->data.op_sg->length 0
PARAM_VALUE 0 rm->data.op_sg->offset 0
PARAM_VALUE 0 rm->data.op_sg->page_link 0
PARAM_VALUE 0 rm->m_conn_item.next 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.next->next 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.prev 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.prev->next 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.prev->prev 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.next 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rm->m_inc.i_hdr.h_len 8192
PARAM_VALUE 0 rm->m_refcount.refs.counter 1
PARAM_VALUE 0 rm->m_sock_item.next 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.next->next 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.prev 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.prev->next 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.prev->prev 4096-ptr_max
PARAM_VALUE 0 rm->m_total_sgs 2
PARAM_VALUE 0 rm->m_used_sgs 2
BUF_SIZE 0 rm 712-4194304
BUF_SIZE 0 rm 712-4194304
DATA_SOURCE 0 rm r rds_message_alloc
NOCHECK_CALL

net/rds/send.c rds_send_drop_to() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
PARAM_VALUE 0 rm->m_inc.i_conn 4096-ptr_max
PARAM_VALUE 0 rm->m_inc.i_conn->c_trans 4096-ptr_max
PARAM_VALUE 0 rm->m_rs_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/rds/send.c rds_send_drop_to() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
PARAM_VALUE 0 rm->m_rs_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

net/rds/send.c rds_send_probe() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
PARAM_VALUE 0 rm->data.op_active 1
PARAM_VALUE 0 rm->m_conn_item.next 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.next->next 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.prev->next 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.prev->prev 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.next 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rm->m_inc.i_conn 4096-ptr_max
PARAM_VALUE 0 rm->m_inc.i_conn->c_fcong 4096-ptr_max
PARAM_VALUE 0 rm->m_inc.i_conn_path 4096-ptr_max
PARAM_VALUE 0 rm->m_inc.i_conn_path->cp_conn 4096-ptr_max
PARAM_VALUE 0 rm->m_inc.i_conn_path->cp_send_queue.prev 4096-ptr_max
PARAM_VALUE 0 rm->m_inc.i_hdr->h_exthdr 0-255
PARAM_VALUE 0 rm->m_inc.i_hdr.h_flags 0
PARAM_VALUE 0 rm->m_inc.i_hdr.h_sport 0-1
PARAM_VALUE 0 rm->m_sock_item.next 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.next->next 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.prev 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.prev->next 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.prev->prev 4096-ptr_max
PARAM_VALUE 0 rm->m_total_sgs 0
PARAM_VALUE 0 rm->m_used_sgs 0
BUF_SIZE 0 rm 712-4194304
BUF_SIZE 0 rm 712-4194304
DATA_SOURCE 0 rm r rds_message_alloc
MEM_ZERO 0 rm->m_inc.i_hdr.h_exthdr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/rds/send.c rds_send_probe() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
PARAM_VALUE 0 rm->data.op_active 1
PARAM_VALUE 0 rm->m_conn_item.next 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.next->next 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.prev 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.prev->next 4096-ptr_max
PARAM_VALUE 0 rm->m_conn_item.prev->prev 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.next 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rm->m_flush_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rm->m_refcount.refs.counter 1
PARAM_VALUE 0 rm->m_sock_item.next 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.next->next 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.prev 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.prev->next 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.prev->prev 4096-ptr_max
PARAM_VALUE 0 rm->m_total_sgs 0
PARAM_VALUE 0 rm->m_used_sgs 0
BUF_SIZE 0 rm 712-4194304
BUF_SIZE 0 rm 712-4194304
DATA_SOURCE 0 rm r rds_message_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/rds/send.c rds_send_remove_from_sock() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
PARAM_VALUE 0 rm->m_rs_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/rds/send.c rds_send_remove_from_sock() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
PARAM_VALUE 0 rm->m_rs_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/rds/connection.c rds_conn_path_destroy() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
PARAM_VALUE 0 rm->m_sock_item.next 4096-ptr_max
CAPPED_DATA 0 &rm->m_conn_item 1
CAPPED_DATA 0 &rm->m_sock_item 1
PARAM_COMPARE 0 &rm->m_sock_item == $0->m_sock_item.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pernet_ops_rwsem

net/rds/connection.c rds_conn_path_destroy() -> rds_message_put()

Type Parameter Key Value
PARAM_VALUE 0 rm 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pernet_ops_rwsem