Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/tree-checker.c check_dev_item() -> dev_item_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 7270525634056404992
PARAM_VALUE 3 $ 0,2-u64max
PARAM_VALUE 4 $ 1
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 39
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
FUZZY_MAX 1 slot 0
STR_LEN 0 eb 38
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_dev_item() -> dev_item_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 1702227458316288000
PARAM_VALUE 3 $ 0-97,99-u32max
PARAM_VALUE 4 $ 98
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 37
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
DATA_SOURCE 3 $ r btrfs_item_size
FUZZY_MAX 1 slot 0
STR_LEN 0 eb 36
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 $ unit_byte
UNITS 4 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_dev_item() -> dev_item_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 3560964985740869632
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 43
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
FUZZY_MAX 1 slot 0
STR_LEN 0 eb 42
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_dev_item() -> dev_item_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 7307943480766222336
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 47
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
FUZZY_MAX 1 slot 0
STR_LEN 0 eb 46
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock