Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/block-group.c btrfs_remove_block_group() -> remove_block_group_item()

Type Parameter Key Value
PARAM_VALUE 0 trans 4096-ptr_max
PARAM_VALUE 0 trans->fs_info->balance_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->block_group_cache_lock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->chunk_block_rsv.space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->chunk_block_rsv.space_info->tickets.prev 643370198843097104
PARAM_VALUE 0 trans->fs_info->chunk_mutex.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->chunk_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trans->fs_info->chunk_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 trans->fs_info->chunk_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 trans->fs_info->chunk_root->accounting_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->chunk_root->dirty_list.next 4096-ptr_max
PARAM_VALUE 0 trans->fs_info->chunk_root->dirty_log_pages.inode->delalloc_inodes.next->prev 4096-ptr_max
PARAM_VALUE 0 trans->fs_info->chunk_root->dirty_log_pages.inode->root->delalloc_root.next->prev 4096-ptr_max
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->data_alloc_cluster.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->data_alloc_cluster.refill_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->delayed_refs_rsv.full 0
PARAM_VALUE 0 trans->fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 trans->fs_info->fs_devices->device_list_mutex.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->fs_devices->device_list_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trans->fs_info->fs_devices->device_list_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 trans->fs_info->fs_devices->device_list_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 trans->fs_info->fs_devices->per_profile_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->global_block_rsv.full 1
PARAM_VALUE 0 trans->fs_info->global_block_rsv.reserved 0-536870912
PARAM_VALUE 0 trans->fs_info->global_block_rsv.size 0-536870912
PARAM_VALUE 0 trans->fs_info->global_block_rsv.space_info->force_alloc 2
PARAM_VALUE 0 trans->fs_info->mapping_tree_lock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->meta_alloc_cluster.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->meta_alloc_cluster.refill_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->profiles_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->ref_verify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->super_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->new_bgs.prev->next 4096-ptr_max
PARAM_VALUE 0 trans->new_bgs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 trans->transaction->cache_write_mutex.dep_map->name 0-255
PARAM_VALUE 0 trans->transaction->cache_write_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 trans->transaction->cache_write_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 trans->transaction->cache_write_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 trans->transaction->cache_write_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 trans->transaction->cache_write_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 trans->transaction->cache_write_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 trans->transaction->dirty_bgs_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 trans->transaction->dirty_pages.inode->delalloc_inodes.next->prev 4096-ptr_max
PARAM_VALUE 0 trans->transaction->dirty_pages.inode->root->delalloc_root.next->prev 4096-ptr_max
PARAM_VALUE 0 trans->transaction->pinned_extents.inode->delalloc_inodes.next->prev 4096-ptr_max
PARAM_VALUE 0 trans->transaction->pinned_extents.inode->root->delalloc_root.next->prev 4096-ptr_max
PARAM_VALUE 1 path 1-u64max
PARAM_VALUE 2 block_group 4096-ptr_max
PARAM_VALUE 2 block_group->discard_eligible_time 0
PARAM_VALUE 2 block_group->free_space_ctl->free_space_bytes.rb_root.rb_node 4096-ptr_max
PARAM_VALUE 2 block_group->free_space_ctl->tree_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 block_group->fs_info->data_reloc_bg 0
PARAM_VALUE 2 block_group->fs_info->relocation_bg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 block_group->io_ctl.inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 block_group->io_ctl.inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 block_group->list.next->prev 4096-ptr_max
PARAM_VALUE 2 block_group->list.prev->next 4096-ptr_max
PARAM_VALUE 2 block_group->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 block_group->ro_list.next->prev 4096-ptr_max
PARAM_VALUE 2 block_group->ro_list.prev->next 4096-ptr_max
PARAM_VALUE 2 block_group->space_info 4096-ptr_max
PARAM_VALUE 2 block_group->space_info->block_groups 4096-ptr_max
PARAM_VALUE 2 block_group->space_info->groups_sem.dep_map->name 0-255
PARAM_VALUE 2 block_group->space_info->groups_sem.first_waiter->handoff_set 1
PARAM_VALUE 2 block_group->space_info->groups_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 2 block_group->space_info->groups_sem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 2 block_group->space_info->groups_sem.first_waiter->type 0-1
PARAM_VALUE 2 block_group->space_info->groups_sem.osq.tail.counter 0-s32max
PARAM_VALUE 2 block_group->space_info->groups_sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 2 block_group->space_info->groups_sem.wait_lock.owner (-1)
PARAM_VALUE 2 block_group->space_info->groups_sem.wait_lock.owner_cpu u32max
PARAM_VALUE 2 block_group->space_info->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 trans (-1),1-s32max
BUF_SIZE 0 trans (-1),1-s32max
CAPPED_DATA 2 block_group 1
CAPPED_DATA 2 &block_group->cache_node 1
CAPPED_DATA 2 &block_group->dirty_list 1
CAPPED_DATA 2 &block_group->io_list 1
DATA_SOURCE 0 trans $0
DATA_SOURCE 1 path r btrfs_alloc_path
DATA_SOURCE 2 block_group r btrfs_lookup_block_group
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fs_info->reclaim_bgs_lock
TYPE_LOCK (struct btrfs_fs_info)->reclaim_bgs_lock