Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/extent-tree.c btrfs_alloc_reserved_file_extent() -> btrfs_ref_tree_mod()

Type Parameter Key Value
PARAM_VALUE 1 generic_ref 251161894992240640
PARAM_VALUE 1 generic_ref->action 3
PARAM_VALUE 1 generic_ref->parent 0
PARAM_VALUE 1 generic_ref->tree_ref.level 0
PARAM_VALUE 1 generic_ref->type 1
NOSPEC 1 generic_ref->data_ref.offset
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 generic_ref->data_ref.offset 0-s32max[c]
NO_OVERFLOW_SIMPLE 1 generic_ref->data_ref.offset
NO_OVERFLOW_SIMPLE 1 generic_ref->num_bytes
UNITS 0 fs_info unit_byte

fs/btrfs/extent-tree.c btrfs_alloc_tree_block() -> btrfs_ref_tree_mod()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 1 generic_ref 3502509489609785344
PARAM_VALUE 1 generic_ref->action 3
PARAM_VALUE 1 generic_ref->bytenr 0
PARAM_VALUE 1 generic_ref->data_ref.objectid 0
PARAM_VALUE 1 generic_ref->data_ref.offset 0
PARAM_VALUE 1 generic_ref->num_bytes 1-18446744073709551614
PARAM_VALUE 1 generic_ref->ref_root 0-18446744073709551609,18446744073709551611-u64max
PARAM_VALUE 1 generic_ref->tree_ref.level 0-7
PARAM_VALUE 1 generic_ref->type 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 fs_info->sectorsize
NO_OVERFLOW_SIMPLE 1 generic_ref->parent
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &fs_info->subvol_sem

fs/btrfs/extent-tree.c btrfs_free_extent() -> btrfs_ref_tree_mod()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 1 generic_ref 2516374842301186048,3731503051715727360,6117822500846968832,8875932089983078400,8970799316764139520
PARAM_VALUE 1 generic_ref->action 2
PARAM_VALUE 1 generic_ref->ref_root 0-18446744073709551609,18446744073709551611-u64max
PARAM_VALUE 1 generic_ref->tree_ref.level (-1)-254
PARAM_VALUE 1 generic_ref->type 1-2
DATA_SOURCE 1 generic_ref $1
HARD_MAX 1 generic_ref->type 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 generic_ref->data_ref.offset
NO_OVERFLOW_SIMPLE 1 generic_ref->parent
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &fs_info->cleaner_mutex
HALF_LOCKED2 &leaf->lock

fs/btrfs/extent-tree.c btrfs_free_tree_block() -> btrfs_ref_tree_mod()

Type Parameter Key Value
PARAM_VALUE 1 generic_ref 9009280262075002880
PARAM_VALUE 1 generic_ref->action 2
PARAM_VALUE 1 generic_ref->data_ref.objectid 0
PARAM_VALUE 1 generic_ref->data_ref.offset 0
PARAM_VALUE 1 generic_ref->num_bytes 0-u32max
PARAM_VALUE 1 generic_ref->ref_root 0-18446744073709551609,18446744073709551611-u64max
PARAM_VALUE 1 generic_ref->tree_ref.level 0-255
PARAM_VALUE 1 generic_ref->type 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 generic_ref->bytenr
NO_OVERFLOW_SIMPLE 1 generic_ref->num_bytes
NO_OVERFLOW_SIMPLE 1 generic_ref->parent
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &fs_info->cleaner_mutex
HALF_LOCKED2 &fs_info->qgroup_ioctl_lock
HALF_LOCKED2 &fs_info->subvol_sem

fs/btrfs/extent-tree.c btrfs_inc_extent_ref() -> btrfs_ref_tree_mod()

Type Parameter Key Value
PARAM_VALUE 1 generic_ref 3523437282496569344,3731503051715727360,5740041470098026496,6117822500846968832,7943560492433563648,8875932089983078400,8970799316764139520
PARAM_VALUE 1 generic_ref->action 1
PARAM_VALUE 1 generic_ref->tree_ref.level (-1)-255
PARAM_VALUE 1 generic_ref->type 1-2
DATA_SOURCE 1 generic_ref $1
HARD_MAX 1 generic_ref->type 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 generic_ref->data_ref.offset
NO_OVERFLOW_SIMPLE 1 generic_ref->parent
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &eb->lock
HALF_LOCKED2 &fs_info->cleaner_mutex
HALF_LOCKED2 &leaf->lock