Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/btrfs/disk-io.c validate_sys_chunk_array() -> btrfs_check_chunk_valid()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 1 leaf 0
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 4 sectorsize r btrfs_super_sectorsize
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fs_info unit_byte
UNITS 2 chunk unit_byte
UNITS 3 logical unit_byte
HALF_LOCKED2 &fs_info->fs_devices->device_list_mutex
HALF_LOCKED2 &fs_info->tree_log_mutex
HALF_LOCKED2 0 &fs_info->fs_devices->device_list_mutex

fs/btrfs/tree-checker.c check_leaf_chunk_item() -> btrfs_check_chunk_valid()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->csum_type 0-3
PARAM_VALUE 1 leaf 4096-ptr_max
PARAM_VALUE 1 leaf->folios 4096-ptr_max
PARAM_VALUE 1 leaf->fs_info 4096-ptr_max
PARAM_VALUE 1 leaf->fs_info->csum_type 0-3
PARAM_VALUE 2 chunk 101-4294967396
BUF_SIZE 1 leaf (-1),1-s32max
BUF_SIZE 1 leaf (-1),1-s32max
CAPPED_DATA 1 leaf->start 1
DATA_SOURCE 1 leaf $0
DATA_SOURCE 2 chunk $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fs_info unit_byte
UNITS 3 logical unit_byte
UNITS 4 sectorsize unit_byte
HALF_LOCKED2 &pool->lock