Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/btrfs/relocation.c handle_useless_nodes() -> btrfs_backref_free_node()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 0 cache->rb_root.rb_node 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->level 0
PARAM_VALUE 1 node->list.next->prev 4096-ptr_max
PARAM_VALUE 1 node->list.prev->next 4096-ptr_max
PARAM_VALUE 1 node->processed 1
PARAM_VALUE 1 node->rb_node.rb_left 0,4096-ptr_max
PARAM_VALUE 1 node->rb_node.rb_right 0,4096-ptr_max
PARAM_VALUE 1 node->upper.next 4096-ptr_max
BUF_SIZE 0 cache 264
CAPPED_DATA 1 node 1
CAPPED_DATA 1 &node->lower 1
CAPPED_DATA 1 &node->rb_node 1
CAPPED_DATA 1 &node->upper 1
PARAM_COMPARE 1 &node->upper == $1->upper.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &fs_info->cleaner_mutex
HALF_LOCKED2 &fs_info->reclaim_bgs_lock
TYPE_LOCK (struct btrfs_fs_info)->cleaner_mutex
TYPE_LOCK (struct btrfs_fs_info)->reclaim_bgs_lock

fs/btrfs/backref.c btrfs_backref_drop_node() -> btrfs_backref_free_node()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 0 cache->fs_info->block_group_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 cache->fs_info->block_group_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 cache->fs_info->chunk_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 cache->fs_info->chunk_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 cache->fs_info->dev_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 cache->fs_info->dev_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 cache->fs_info->quota_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 cache->fs_info->quota_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 cache->fs_info->stripe_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 cache->fs_info->stripe_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->eb 0
PARAM_VALUE 1 node->list.next->prev 4096-ptr_max
PARAM_VALUE 1 node->list.prev->next 4096-ptr_max
PARAM_VALUE 1 node->locked 0
PARAM_VALUE 1 node->lower.next->prev 4096-ptr_max
PARAM_VALUE 1 node->lower.prev->next 4096-ptr_max
PARAM_VALUE 1 node->root->fs_info->btree_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE 1 node->upper.next 4096-ptr_max
BUF_SIZE 0 cache (-1),264
BUF_SIZE 0 cache (-1),264
BUF_SIZE 0 cache->fs_info (-1),128
BUF_SIZE 1 node (-1)-0,120
BUF_SIZE 1 node (-1)-0,120
CAPPED_DATA 1 node 1
CAPPED_DATA 1 &node->rb_node 1
CAPPED_DATA 1 &node->upper 1
DATA_SOURCE 0 cache $0
DATA_SOURCE 1 node $1
PARAM_COMPARE 1 &node->upper == $1->upper.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &fs_info->cleaner_mutex
HALF_LOCKED2 &fs_info->reclaim_bgs_lock
TYPE_LOCK (struct btrfs_fs_info)->cleaner_mutex
TYPE_LOCK (struct btrfs_fs_info)->reclaim_bgs_lock

fs/btrfs/backref.c handle_indirect_tree_backref() -> btrfs_backref_free_node()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 0 cache->fs_info 4096-ptr_max
PARAM_VALUE 0 cache->fs_info->block_group_root->refs.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 cache->fs_info->chunk_root->refs.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 cache->fs_info->dev_root->refs.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 cache->fs_info->fs_roots_radix_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cache->fs_info->quota_root->refs.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 cache->fs_info->remap_root->refs.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 cache->fs_info->stripe_root->refs.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 cache->fs_info->tree_root->refs.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 cache->fs_info->uuid_root->refs.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 cache->rb_root.rb_node 0,4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->level 1-7
PARAM_VALUE 1 node->list.next 4096-ptr_max
PARAM_VALUE 1 node->list.next->next 4096-ptr_max
PARAM_VALUE 1 node->list.prev 4096-ptr_max
PARAM_VALUE 1 node->list.prev->next 4096-ptr_max
PARAM_VALUE 1 node->list.prev->prev 4096-ptr_max
PARAM_VALUE 1 node->lower.next 4096-ptr_max
PARAM_VALUE 1 node->lower.next->next 4096-ptr_max
PARAM_VALUE 1 node->lower.prev 4096-ptr_max
PARAM_VALUE 1 node->lower.prev->next 4096-ptr_max
PARAM_VALUE 1 node->lower.prev->prev 4096-ptr_max
PARAM_VALUE 1 node->upper.next 4096-ptr_max
PARAM_VALUE 1 node->upper.next->next 4096-ptr_max
PARAM_VALUE 1 node->upper.prev 4096-ptr_max
PARAM_VALUE 1 node->upper.prev->next 4096-ptr_max
PARAM_VALUE 1 node->upper.prev->prev 4096-ptr_max
BUF_SIZE 0 cache 264
BUF_SIZE 1 node 120
CAPPED_DATA 1 node->level 1
DATA_SOURCE 0 cache $1
DATA_SOURCE 1 node r btrfs_backref_alloc_node
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &fs_info->cleaner_mutex
HALF_LOCKED2 &fs_info->reclaim_bgs_lock
TYPE_LOCK (struct btrfs_fs_info)->cleaner_mutex
TYPE_LOCK (struct btrfs_fs_info)->reclaim_bgs_lock