Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/btrfs/free-space-tree.c load_free_space_bitmaps() -> btrfs_free_space_test_bit()

Type Parameter Key Value
PARAM_VALUE 0 block_group 4096-ptr_max
PARAM_VALUE 0 block_group->fs_info->global_root_lock.dep_map->name 0-255
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->nodes 4096-ptr_max
PARAM_VALUE 1 path->slots 4096-ptr_max
PARAM_VALUE 2 offset 0-18446744073709551614
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 1 path $1
UNITS 2 offset unit_byte
LOCK2 &caching_ctl->mutex
LOCK2 &fs_info->commit_root_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct btrfs_caching_control)->mutex
TYPE_LOCK (struct btrfs_fs_info)->commit_root_sem

fs/btrfs/free-space-tree.c modify_free_space_bitmap() -> btrfs_free_space_test_bit()

Type Parameter Key Value
PARAM_VALUE 0 block_group 4096-ptr_max
PARAM_VALUE 0 block_group->fs_info 4096-ptr_max
PARAM_VALUE 0 block_group->fs_info->global_root_lock.dep_map->name 0-255
PARAM_VALUE 0 block_group->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 block_group->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 block_group->io_ctl.inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 block_group->io_ctl.inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 block_group->start 0-18446744073709551614
PARAM_VALUE 0 block_group->using_free_space_bitmaps_cached 1
PARAM_VALUE 1 path 1-u64max
PARAM_VALUE 1 *path->locks 0-255
PARAM_VALUE 1 *path->slots s32min-s32max
BUF_SIZE 0 block_group (-1),320,336,864,936,992,1024,4096,11232,11240,11312
BUF_SIZE 0 block_group (-1),320,336,864,936,992,1024,4096,11232,11240,11312
BUF_SIZE 0 block_group->fs_info (-1),11312
BUF_SIZE 1 path (-1)-s32max
BUF_SIZE 1 path (-1)-s32max
CAPPED_DATA 0 block_group->start 1
CAPPED_DATA 1 path 1
DATA_SOURCE 0 block_group $1
DATA_SOURCE 1 path $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 block_group->free_space_ctl->block_group->full_stripe_len
NO_OVERFLOW_SIMPLE 0 block_group->free_space_ctl->block_group->start
NO_OVERFLOW_SIMPLE 0 block_group->fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 block_group->fs_info->sectorsize
NO_OVERFLOW_SIMPLE 0 block_group->full_stripe_len
NO_OVERFLOW_SIMPLE 0 block_group->length
NO_OVERFLOW_SIMPLE 0 block_group->start
UNITS 0 block_group unit_byte
UNITS 2 offset unit_byte
HALF_LOCKED2 0 &block_group->free_space_lock

fs/btrfs/free-space-tree.c modify_free_space_bitmap() -> btrfs_free_space_test_bit()

Type Parameter Key Value
PARAM_VALUE 0 block_group 4096-ptr_max
PARAM_VALUE 0 block_group->fs_info 4096-ptr_max
PARAM_VALUE 0 block_group->fs_info->global_root_lock.dep_map->name 0-255
PARAM_VALUE 0 block_group->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 block_group->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 block_group->io_ctl.inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 block_group->io_ctl.inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 block_group->using_free_space_bitmaps_cached 1
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->nodes 4096-ptr_max
PARAM_VALUE 1 path->slots 4096-ptr_max
PARAM_VALUE 1 *path->locks 0-255
PARAM_VALUE 1 *path->slots s32min-s32max
PARAM_VALUE 2 offset 0-18446744073709551614
BUF_SIZE 0 block_group (-1),320,336,864,936,992,1024,4096,11232,11240,11312
BUF_SIZE 0 block_group (-1),320,336,864,936,992,1024,4096,11232,11240,11312
BUF_SIZE 0 block_group->fs_info (-1),11312
BUF_SIZE 1 path (-1)-s32max
BUF_SIZE 1 path (-1)-s32max
CAPPED_DATA 1 path 1
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 block_group $1
DATA_SOURCE 1 path $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 block_group->free_space_ctl->block_group->full_stripe_len
NO_OVERFLOW_SIMPLE 0 block_group->free_space_ctl->block_group->start
NO_OVERFLOW_SIMPLE 0 block_group->fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 block_group->fs_info->sectorsize
NO_OVERFLOW_SIMPLE 0 block_group->full_stripe_len
NO_OVERFLOW_SIMPLE 0 block_group->length
NO_OVERFLOW_SIMPLE 0 block_group->start
UNITS 0 block_group unit_byte
UNITS 2 offset unit_byte
HALF_LOCKED2 0 &block_group->free_space_lock

fs/btrfs/tests/free-space-tree-tests.c __check_free_space_extents() -> btrfs_free_space_test_bit()

Type Parameter Key Value
PARAM_VALUE 0 block_group 4096-ptr_max
PARAM_VALUE 0 block_group->bg_list.next 4096-ptr_max
PARAM_VALUE 0 block_group->bg_list.next->next 4096-ptr_max
PARAM_VALUE 0 block_group->bg_list.prev 4096-ptr_max
PARAM_VALUE 0 block_group->bg_list.prev->next 4096-ptr_max
PARAM_VALUE 0 block_group->bg_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 block_group->bitmap_high_thresh u32max
PARAM_VALUE 0 block_group->bitmap_low_thresh 0
PARAM_VALUE 0 block_group->cluster_list.next 4096-ptr_max
PARAM_VALUE 0 block_group->cluster_list.next->next 4096-ptr_max
PARAM_VALUE 0 block_group->cluster_list.prev 4096-ptr_max
PARAM_VALUE 0 block_group->cluster_list.prev->next 4096-ptr_max
PARAM_VALUE 0 block_group->cluster_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 block_group->free_space_ctl 4096-ptr_max
PARAM_VALUE 0 block_group->free_space_ctl->block_group 4096-ptr_max
PARAM_VALUE 0 block_group->free_space_ctl->block_group->fs_info 4096-ptr_max
PARAM_VALUE 0 block_group->free_space_ctl->cache_writeout_mutex.dep_map->name 0-255
PARAM_VALUE 0 block_group->free_space_ctl->cache_writeout_mutex.magic 4096-ptr_max
PARAM_VALUE 0 block_group->free_space_ctl->extents_thresh 157
PARAM_VALUE 0 block_group->free_space_ctl->trimming_ranges.next 4096-ptr_max
PARAM_VALUE 0 block_group->free_space_ctl->trimming_ranges.next->next 4096-ptr_max
PARAM_VALUE 0 block_group->free_space_ctl->trimming_ranges.prev 4096-ptr_max
PARAM_VALUE 0 block_group->free_space_ctl->trimming_ranges.prev->next 4096-ptr_max
PARAM_VALUE 0 block_group->free_space_ctl->trimming_ranges.prev->prev 4096-ptr_max
PARAM_VALUE 0 block_group->free_space_lock.dep_map->name 0-255
PARAM_VALUE 0 block_group->free_space_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 block_group->free_space_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 block_group->free_space_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 block_group->free_space_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 block_group->free_space_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 block_group->fs_info 4096-ptr_max
PARAM_VALUE 0 block_group->fs_info->global_root_lock.dep_map->name 0-255
PARAM_VALUE 0 block_group->fs_info->tree_root 4096-ptr_max
PARAM_VALUE 0 block_group->full_stripe_len 0-u32max
PARAM_VALUE 0 block_group->length 0-u32max
PARAM_VALUE 0 block_group->list.next 4096-ptr_max
PARAM_VALUE 0 block_group->list.next->next 4096-ptr_max
PARAM_VALUE 0 block_group->list.prev 4096-ptr_max
PARAM_VALUE 0 block_group->list.prev->next 4096-ptr_max
PARAM_VALUE 0 block_group->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 block_group->start 0
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->nodes 4096-ptr_max
PARAM_VALUE 1 path->slots 4096-ptr_max
PARAM_VALUE 1 *path->locks 0-255
PARAM_VALUE 1 *path->slots s32min-s32max
PARAM_VALUE 2 offset 0-18446744073709551614
BUF_SIZE 0 block_group->fs_info 11312
CAPPED_DATA 0 block_group->full_stripe_len 1
CAPPED_DATA 0 block_group->length 1
CAPPED_DATA 1 path 1
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 block_group $2
DATA_SOURCE 1 path $3
NO_OVERFLOW_SIMPLE 0 block_group->fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 block_group->fs_info->sectorsize
NO_OVERFLOW_SIMPLE 0 block_group->full_stripe_len
UNITS 2 offset unit_byte