Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/volumes.c btrfs_create_chunk() -> decide_stripe_size()

Type Parameter Key Value
PARAM_VALUE 0 fs_devices 4096-ptr_max
PARAM_VALUE 0 fs_devices->fs_info 4096-ptr_max
PARAM_VALUE 1 ctl 7838835081339072512
PARAM_VALUE 1 ctl->dev_stripes 0-255
PARAM_VALUE 1 ctl->devs_increment 0-255
PARAM_VALUE 1 ctl->devs_min 0-255
PARAM_VALUE 1 ctl->ncopies 0-255
PARAM_VALUE 1 ctl->ndevs 0-s32max
PARAM_VALUE 1 ctl->nparity 0-255
PARAM_VALUE 1 ctl->space_info 4096-ptr_max
PARAM_VALUE 1 ctl->sub_stripes 0-255
PARAM_VALUE 1 ctl->type 1-u64max
PARAM_VALUE 2 devices_info 16,4096-ptr_max
BUF_SIZE 2 devices_info 0-u64max
CAPPED_DATA 0 &fs_devices->alloc_list 1
DATA_SOURCE 2 devices_info r _kzalloc_noprof
PARAM_COMPARE 0 &fs_devices->alloc_list != $0->alloc_list.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 fs_devices->rw_devices
LOCK2 &fs_info->chunk_mutex
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &uuid_mutex
TYPE_LOCK (struct btrfs_fs_info)->chunk_mutex