Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/space-info.c btrfs_can_overcommit() -> check_can_overcommit()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 flush 0
DATA_SOURCE 0 space_info $0
DATA_SOURCE 1 space_info_used_bytes r btrfs_space_info_used
DATA_SOURCE 2 bytes $1
DATA_SOURCE 3 flush $2
BIT_INFO 0 space_info->flags 0x0,0xfffffffffffffffe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cache->lock
LOCK2 0 &space_info->lock
HALF_LOCKED2 &fs_info->reclaim_bgs_lock
HALF_LOCKED2 &fs_info->ro_block_group_mutex
HALF_LOCKED2 &space_info->groups_sem
TYPE_LOCK (struct btrfs_block_group)->lock
TYPE_LOCK (struct btrfs_space_info)->lock

fs/btrfs/space-info.c can_overcommit() -> check_can_overcommit()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->dev_replace.rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 space_info->fs_info->dev_replace.rwsem.first_waiter->type 0-1
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->total_bytes 0-18446744073709551614
PARAM_VALUE 3 flush 0-8
CAPPED_DATA 0 space_info 1
CAPPED_DATA 0 space_info->total_bytes 1
DATA_SOURCE 0 space_info $0
DATA_SOURCE 1 space_info_used_bytes $1
DATA_SOURCE 2 bytes $2
DATA_SOURCE 3 flush $3
FUZZY_MAX 3 flush 7
BIT_INFO 0 space_info->flags 0x0,0xfffffffffffffffe
NOSPEC 2 bytes
NOSPEC 2 bytes
HARD_MAX 3 flush 8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 bytes 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 space_info->bytes_may_use
NO_OVERFLOW_SIMPLE 0 space_info->bytes_readonly
NO_OVERFLOW_SIMPLE 0 space_info->bytes_reserved
NO_OVERFLOW_SIMPLE 0 space_info->bytes_zone_unusable
UNITS 1 space_info_used_bytes unit_byte
UNITS 2 bytes unit_byte
LOCK2 0 &space_info->lock
TYPE_LOCK (struct btrfs_space_info)->lock