Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/volumes.c create_chunk() -> check_raid56_incompat_flag()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->fs_devices 4096-ptr_max
PARAM_VALUE 0 info->mapping_tree.rb_leftmost 4096-ptr_max
PARAM_VALUE 0 info->mapping_tree.rb_leftmost->rb_left 0
PARAM_VALUE 0 info->mapping_tree.rb_root.rb_node 4096-ptr_max
PARAM_VALUE 0 info->mapping_tree_lock.dep_map->name 0-255
PARAM_VALUE 0 info->mapping_tree_lock.owner (-1)
PARAM_VALUE 0 info->mapping_tree_lock.owner_cpu u32max
PARAM_VALUE 1 type 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 info 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