Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 1 key->type 13
PARAM_VALUE 2 prev_key 3226864947742978048
PARAM_VALUE 3 slot 0-s32max
BUF_SIZE 0 leaf (-1),1-s32max
BUF_SIZE 0 leaf (-1),1-s32max
CAPPED_DATA 0 leaf->start 1
CAPPED_DATA 3 slot 1
DATA_SOURCE 0 leaf $0
DATA_SOURCE 1 key $1
DATA_SOURCE 2 prev_key $3
DATA_SOURCE 3 slot $2
FUZZY_MAX 3 slot 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock