Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/btrfs/volumes.c btrfs_relocate_chunk_finish() -> btrfs_discard_extent()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->block_group_cache_lock.dep_map->name 0-255
PARAM_VALUE 0 fs_info->dev_root->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fs_info->dev_root->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 fs_info->dev_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fs_info->dev_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 fs_info->discard_ctl.block_group 0
PARAM_VALUE 0 fs_info->discard_ctl.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fs_info->discard_ctl.work->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 fs_info->discard_ctl.work.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 fs_info->discard_ctl.work.work.lockdep_map->name 0-255
PARAM_VALUE 0 fs_info->sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fs_info->sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 fs_info->scrub_lock.dep_map->name 0-255
PARAM_VALUE 0 fs_info->scrub_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 fs_info->scrub_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 fs_info->zone_size 1-u64max
PARAM_VALUE 0 *fs_info->fs_devices->fsid 0-255
PARAM_VALUE 0 *fs_info->fs_devices->metadata_uuid 0-255
PARAM_VALUE 0 *fs_info->super_copy->fsid 0-255
PARAM_VALUE 3 actual_bytes 0
PARAM_VALUE 4 do_remap 1
BUF_SIZE 0 fs_info (-1),128
BUF_SIZE 0 fs_info (-1),128
DATA_SOURCE 0 fs_info $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fs_info->balance_ctl->data.devid 0-u64max
USER_DATA 0 fs_info->balance_ctl->data.flags 0-u64max
USER_DATA 0 fs_info->balance_ctl->data.limit 0-u64max
USER_DATA 0 fs_info->balance_ctl->data.limit_max 0-u32max
USER_DATA 0 fs_info->balance_ctl->data.limit_min 0-u32max
USER_DATA 0 fs_info->balance_ctl->data.pend 0-u64max
USER_DATA 0 fs_info->balance_ctl->data.profiles 0-u64max
USER_DATA 0 fs_info->balance_ctl->data.pstart 0-u64max
USER_DATA 0 fs_info->balance_ctl->data.stripes_max 0-u32max
USER_DATA 0 fs_info->balance_ctl->data.stripes_min 0-u32max
USER_DATA 0 fs_info->balance_ctl->data.target 0-u64max
USER_DATA 0 fs_info->balance_ctl->data.usage 0-u64max
USER_DATA 0 fs_info->balance_ctl->data.usage_max 0-u32max
USER_DATA 0 fs_info->balance_ctl->data.usage_min 0-u32max
USER_DATA 0 fs_info->balance_ctl->data.vend 0-u64max
USER_DATA 0 fs_info->balance_ctl->data.vstart 0-u64max
USER_DATA 0 fs_info->balance_ctl->flags 0-2046
USER_DATA 0 fs_info->balance_ctl->meta.devid 0-u64max
USER_DATA 0 fs_info->balance_ctl->meta.flags 0-u64max
USER_DATA 0 fs_info->balance_ctl->meta.limit 0-u64max
USER_DATA 0 fs_info->balance_ctl->meta.limit_max 0-u32max
USER_DATA 0 fs_info->balance_ctl->meta.limit_min 0-u32max
USER_DATA 0 fs_info->balance_ctl->meta.pend 0-u64max
USER_DATA 0 fs_info->balance_ctl->meta.profiles 0-u64max
USER_DATA 0 fs_info->balance_ctl->meta.pstart 0-u64max
USER_DATA 0 fs_info->balance_ctl->meta.stripes_max 0-u32max
USER_DATA 0 fs_info->balance_ctl->meta.stripes_min 0-u32max
USER_DATA 0 fs_info->balance_ctl->meta.target 0-u64max
USER_DATA 0 fs_info->balance_ctl->meta.usage 0-u64max
USER_DATA 0 fs_info->balance_ctl->meta.usage_max 0-u32max
USER_DATA 0 fs_info->balance_ctl->meta.usage_min 0-u32max
USER_DATA 0 fs_info->balance_ctl->meta.vend 0-u64max
USER_DATA 0 fs_info->balance_ctl->meta.vstart 0-u64max
USER_DATA 0 fs_info->balance_ctl->sys.devid 0-u64max
USER_DATA 0 fs_info->balance_ctl->sys.flags 0-u64max
USER_DATA 0 fs_info->balance_ctl->sys.limit 0-u64max
USER_DATA 0 fs_info->balance_ctl->sys.limit_max 0-u32max
USER_DATA 0 fs_info->balance_ctl->sys.limit_min 0-u32max
USER_DATA 0 fs_info->balance_ctl->sys.pend 0-u64max
USER_DATA 0 fs_info->balance_ctl->sys.profiles 0-u64max
USER_DATA 0 fs_info->balance_ctl->sys.pstart 0-u64max
USER_DATA 0 fs_info->balance_ctl->sys.stripes_max 0-u32max
USER_DATA 0 fs_info->balance_ctl->sys.stripes_min 0-u32max
USER_DATA 0 fs_info->balance_ctl->sys.target 0-u64max
USER_DATA 0 fs_info->balance_ctl->sys.usage 0-u64max
USER_DATA 0 fs_info->balance_ctl->sys.usage_max 0-u32max
USER_DATA 0 fs_info->balance_ctl->sys.usage_min 0-u32max
USER_DATA 0 fs_info->balance_ctl->sys.vend 0-u64max
USER_DATA 0 fs_info->balance_ctl->sys.vstart 0-u64max
UNITS 0 fs_info unit_byte
UNITS 1 bytenr unit_byte
UNITS 2 num_bytes unit_byte
HALF_LOCKED2 &fs_info->reclaim_bgs_lock
HALF_LOCKED2 0 &fs_info->reclaim_bgs_lock
TYPE_LOCK (struct btrfs_fs_info)->reclaim_bgs_lock

fs/btrfs/free-space-cache.c btrfs_trim_fully_remapped_block_group() -> btrfs_discard_extent()

Type Parameter Key Value
PARAM_VALUE 3 actual_bytes 3677411258597978112
PARAM_VALUE 4 do_remap 0
UNITS 0 fs_info unit_byte
UNITS 1 bytenr unit_byte
UNITS 2 num_bytes unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/free-space-cache.c do_trimming() -> btrfs_discard_extent()

Type Parameter Key Value
PARAM_VALUE 1 bytenr 0-18446744073709551614
PARAM_VALUE 3 actual_bytes 2322030375730216960
PARAM_VALUE 3 *actual_bytes 0
PARAM_VALUE 4 do_remap 0
CAPPED_DATA 1 bytenr 1
CAPPED_DATA 1 bytenr 1
DATA_SOURCE 1 bytenr $2
DATA_SOURCE 2 num_bytes $3
NOSPEC 1 bytenr
NOSPEC 1 bytenr
NOSPEC 2 num_bytes
USER_DATA 1 bytenr 1-s32max[c]
UNITS 0 fs_info unit_byte
UNITS 1 bytenr unit_byte
UNITS 2 num_bytes unit_byte

fs/btrfs/extent-tree.c btrfs_finish_extent_commit() -> btrfs_discard_extent()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->mount_opt 1024-u64max
PARAM_VALUE 0 fs_info->unused_bg_unpin_mutex.dep_map->name 0-255
PARAM_VALUE 0 fs_info->unused_bg_unpin_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 fs_info->unused_bg_unpin_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 fs_info->unused_bg_unpin_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 fs_info->unused_bg_unpin_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 fs_info->unused_bg_unpin_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 3 actual_bytes 0
PARAM_VALUE 4 do_remap 1
CAPPED_DATA 0 &fs_info->unused_bg_unpin_mutex 1
BIT_INFO 0 fs_info->mount_opt 0x400,0xffffffffffffffff
UNITS 0 fs_info unit_byte
UNITS 1 bytenr unit_byte
UNITS 2 num_bytes unit_byte
LOCK2 0 &fs_info->unused_bg_unpin_mutex
TYPE_LOCK (struct btrfs_fs_info)->unused_bg_unpin_mutex

fs/btrfs/extent-tree.c btrfs_finish_extent_commit() -> btrfs_discard_extent()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->unused_bg_unpin_mutex.dep_map->name 0-255
PARAM_VALUE 0 fs_info->unused_bg_unpin_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 fs_info->unused_bg_unpin_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 fs_info->unused_bg_unpin_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 3 actual_bytes 0
PARAM_VALUE 4 do_remap 1
CAPPED_DATA 0 &fs_info->unused_bg_unpin_mutex 1
UNITS 0 fs_info unit_byte
UNITS 1 bytenr unit_byte
UNITS 2 num_bytes unit_byte

fs/btrfs/extent-tree.c btrfs_handle_fully_remapped_bgs() -> btrfs_discard_extent()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->block_group_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fs_info->block_group_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 fs_info->chunk_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fs_info->chunk_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 fs_info->cleaner_mutex.dep_map->name 0-255
PARAM_VALUE 0 fs_info->delayed_iput_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fs_info->dev_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fs_info->dev_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 fs_info->quota_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fs_info->quota_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 fs_info->stripe_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fs_info->stripe_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 fs_info->trans_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fs_info->unused_bgs_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 actual_bytes 0
PARAM_VALUE 4 do_remap 0
CAPPED_DATA 0 &fs_info->fully_remapped_bgs 1
DATA_SOURCE 0 fs_info $0
PARAM_COMPARE 0 &fs_info->fully_remapped_bgs != $0->fully_remapped_bgs.next
BIT_INFO 0 fs_info->mount_opt 0x0,0xfffffffffbffffff
NOCHECK_CALL
UNITS 1 bytenr unit_byte
UNITS 2 num_bytes unit_byte