Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/extent-tree.c find_free_extent() -> do_allocation()

Type Parameter Key Value
PARAM_VALUE 0 block_group 4096-ptr_max
PARAM_VALUE 0 block_group->cached 0-2,4-u32max
PARAM_VALUE 0 block_group->data_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 block_group->data_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 block_group->fs_info->sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 ffe_ctl 6234682535772307456
PARAM_VALUE 1 ffe_ctl->cached 0-1
PARAM_VALUE 1 ffe_ctl->empty_cluster 0,65536,2097152
PARAM_VALUE 1 ffe_ctl->empty_size 0-u32max
PARAM_VALUE 1 ffe_ctl->index s32min-63
PARAM_VALUE 1 ffe_ctl->last_ptr 0,4096-ptr_max
PARAM_VALUE 1 ffe_ctl->last_ptr->block_group->data_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 ffe_ctl->last_ptr->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ffe_ctl->policy 0-1
PARAM_VALUE 1 ffe_ctl->size_class 1-3
PARAM_VALUE 2 bg_ret 1931285016862289920
PARAM_VALUE 2 *bg_ret 0
CAPPED_DATA 1 ffe_ctl->hint_byte 1
CAPPED_DATA 1 ffe_ctl->size_class 1
DATA_SOURCE 1 ffe_ctl $2
FUZZY_MAX 1 ffe_ctl->empty_cluster 0
NOSPEC 1 ffe_ctl->num_bytes
NOSPEC 1 ffe_ctl->ram_bytes
HARD_MAX 1 ffe_ctl->policy 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ffe_ctl->num_bytes 0-s32max[c]
USER_DATA 1 ffe_ctl->ram_bytes 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 block_group->delalloc_bytes
NO_OVERFLOW_SIMPLE 0 block_group->reserved
NO_OVERFLOW_SIMPLE 1 ffe_ctl->min_alloc_size
NO_OVERFLOW_SIMPLE 1 ffe_ctl->num_bytes
NO_OVERFLOW_SIMPLE 1 ffe_ctl->ram_bytes
LOCK2 &space_info->groups_sem
HALF_LOCKED2 &fs_info->remap_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct btrfs_space_info)->groups_sem