Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/free-space-tree.c __btrfs_remove_from_free_space_tree() -> remove_free_space_extent()

Type Parameter Key Value
PARAM_VALUE 0 trans 4096-ptr_max
PARAM_VALUE 0 trans->fs_info->block_group_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->block_group_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->chunk_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->chunk_root->node->lock.first_waiter->type 0-1
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->dev_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->dev_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->quota_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->quota_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->remap_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->remap_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->stripe_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->stripe_root->node->lock.first_waiter->type 0-1
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->fs_info->uuid_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->uuid_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 block_group 4096-ptr_max
PARAM_VALUE 1 block_group->free_space_lock.dep_map->name 0-255
PARAM_VALUE 1 block_group->free_space_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 block_group->free_space_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 block_group->using_free_space_bitmaps_cached 1
PARAM_VALUE 2 path 1-u64max
PARAM_VALUE 2 *path->locks 0-255
PARAM_VALUE 2 *path->slots s32min-s32max
BUF_SIZE 0 trans->pending_snapshot (-1),208
BUF_SIZE 1 block_group (-1),992
BUF_SIZE 1 block_group (-1),992
BUF_SIZE 1 block_group->fs_info (-1),11312
CAPPED_DATA 2 path 1
CAPPED_DATA 3 start 1
CAPPED_DATA 3 start 1
DATA_SOURCE 0 trans $0
DATA_SOURCE 1 block_group $1
DATA_SOURCE 2 path $2
DATA_SOURCE 3 start $3
DATA_SOURCE 4 size $4
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 trans->fs_info->tree_root->dirty_log_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->fs_info->tree_root->dirty_log_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->disk_i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->dirty_pages.inode->vfs_inode.i_size
NO_OVERFLOW_SIMPLE 0 trans->transaction->pinned_extents.inode->vfs_inode.i_bytes
NO_OVERFLOW_SIMPLE 1 block_group->fs_info->nodesize
NO_OVERFLOW_SIMPLE 1 block_group->fs_info->sectorsize
NO_OVERFLOW_SIMPLE 1 block_group->full_stripe_len
UNITS 3 start unit_byte
UNITS 4 size unit_byte
USER_PTR 0 trans->pending_snapshot->inherit
HALF_LOCKED2 1 &block_group->free_space_lock