Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/volumes.c dev_extent_hole_check() -> dev_extent_hole_check_zoned()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->fs_devices 4096-ptr_max
PARAM_VALUE 0 device->fs_devices->chunk_alloc_policy 1
PARAM_VALUE 0 device->fs_info 4096-ptr_max
PARAM_VALUE 0 device->fs_info->dev_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 device->fs_info->dev_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 device->total_bytes 1-u64max
PARAM_VALUE 0 device->zone_info 4096-ptr_max
PARAM_VALUE 1 hole_start 5707419216016408576
PARAM_VALUE 2 hole_size 4626652152487030784
PARAM_VALUE 3 num_bytes 2-u64max
CAPPED_DATA 3 num_bytes 1
CAPPED_DATA 3 num_bytes 1
DATA_SOURCE 0 device $0
DATA_SOURCE 1 hole_start $1
DATA_SOURCE 2 hole_size $2
DATA_SOURCE 3 num_bytes $3
PARAM_COMPARE 2 *hole_size >= $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 3 num_bytes unit_byte
LOCK2 &fs_info->chunk_mutex
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &uuid_mutex
TYPE_LOCK (struct btrfs_fs_info)->chunk_mutex