Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/tree-checker.c __btrfs_check_leaf() -> check_leaf_item()

Type Parameter Key Value
PARAM_VALUE 0 leaf 4096-ptr_max
PARAM_VALUE 0 leaf->folios 4096-ptr_max
PARAM_VALUE 0 leaf->fs_info 4096-ptr_max
PARAM_VALUE 0 leaf->fs_info->csum_type 0-3
PARAM_VALUE 1 key 2101267004900802560
PARAM_VALUE 2 slot 0-s32max
PARAM_VALUE 3 prev_key 3226864947742978048
BUF_SIZE 0 leaf (-1),1-s32max
BUF_SIZE 0 leaf (-1),1-s32max
CAPPED_DATA 0 leaf->start 1
CAPPED_DATA 2 slot 1
DATA_SOURCE 0 leaf $0
FUZZY_MAX 2 slot 0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 key->objectid
NO_OVERFLOW_SIMPLE 1 key->offset
NO_OVERFLOW_SIMPLE 3 prev_key->objectid
NO_OVERFLOW_SIMPLE 3 prev_key->offset
HALF_LOCKED2 &pool->lock