Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/tree-checker.c check_extent_data_ref() -> extent_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 | 88740241025306624 |
| PARAM_VALUE | 3 | $ | 0,2-4,6-18446744073709551606,18446744073709551608-u64max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 44 |
| 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_extent_data_ref_root |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 43 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_data_ref() -> extent_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 | 3586114558840201216 |
| PARAM_VALUE | 3 | $ | 0-255,18446744073709551361-u64max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 48 |
| 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_extent_data_ref_objectid |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 47 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_data_ref() -> extent_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 | 8444287761198272512 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 67 |
| 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_extent_data_ref_offset |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 66 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 4 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_data_ref() -> extent_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 | 8255166612659859456 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 62 |
| 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 | 61 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 5165526819154808832 |
| PARAM_VALUE | 3 | $ | 8-u64max |
| PARAM_VALUE | 4 | $ | 7 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 45 |
| 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 |
| FUZZY_MAX | 3 | $ | 8 |
| STR_LEN | 0 | eb | 44 |
| 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_extent_item() -> extent_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 | 6995404492579614720 |
| PARAM_VALUE | 3 | $ | 0-23 |
| PARAM_VALUE | 4 | $ | 24 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 44 |
| 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 | 43 |
| 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_extent_item() -> extent_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 | 2245518300590817280 |
| PARAM_VALUE | 3 | $ | 1-u64max |
| 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 |
| DATA_SOURCE | 3 | $ | r btrfs_extent_generation |
| 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 |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 2312024002032631808 |
| PARAM_VALUE | 4 | $ | 3 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 60 |
| 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_extent_flags |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 59 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 7112446940864733184 |
| 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 |
| PARAM_COMPARE | 3 | $ | != $4 |
| PARAM_COMPARE | 4 | $ | != $3 |
| 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_extent_item() -> extent_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 | 3256335754298667008 |
| PARAM_VALUE | 3 | $ | 169 |
| PARAM_VALUE | 4 | $ | 168 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 53 |
| 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 | 52 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 8960617289439125504 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 54 |
| 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 | 53 |
| 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_extent_item() -> extent_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 | 8252589496499744768 |
| 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 |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 8353096721039056896 |
| PARAM_VALUE | 4 | $ | 7 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 54 |
| 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 | 53 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 1454325813603999744 |
| PARAM_VALUE | 3 | $ | 0-8589934690 |
| PARAM_VALUE | 4 | $ | 9 |
| PARAM_VALUE | 5 | $ | 125-8589934691 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 69 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 5 | $ | 1 |
| CAPPED_DATA | 5 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $2 |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 68 |
| PARAM_COMPARE | 3 | $ | < $5 |
| PARAM_COMPARE | 5 | $ | > $3 |
| PARAM_COMPARE | 5 | $ | > $3 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
| UNITS | 5 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 3814130956574904320 |
| PARAM_VALUE | 3 | $ | 0-8589934690 |
| PARAM_VALUE | 4 | $ | 0,9,13,29 |
| PARAM_VALUE | 5 | $ | 125-8589934691 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 68 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 5 | $ | 1 |
| CAPPED_DATA | 5 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $2 |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 67 |
| PARAM_COMPARE | 3 | $ | < $5 |
| PARAM_COMPARE | 5 | $ | > $3 |
| PARAM_COMPARE | 5 | $ | > $3 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | $ | unit_byte |
| UNITS | 5 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 7710174070910423040 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 59 |
| 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_extent_inline_ref_offset |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 58 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 4 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 3672743411531763712 |
| PARAM_VALUE | 3 | $ | 0,2-4,6-18446744073709551606,18446744073709551608-u64max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 33 |
| 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_extent_data_ref_root |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 32 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 1534184859809947648 |
| PARAM_VALUE | 3 | $ | 0-255,18446744073709551361-u64max |
| 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_extent_data_ref_objectid |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 36 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 6229817675195301888 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 56 |
| 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_extent_data_ref_offset |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 55 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 4 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 3195531001871532032 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 51 |
| 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 | 50 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 4485287025114595328 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 59 |
| 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_extent_inline_ref_offset |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 58 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 4 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 4366029949622521856 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 58 |
| 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 | 57 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 7382777807424086016 |
| PARAM_VALUE | 3 | $ | 0-171,173-175,177,179-181,183,185-255 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 28 |
| 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_extent_inline_ref_type |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 27 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 8775075532708691968 |
| PARAM_VALUE | 3 | $ | 172,176,178,182 |
| PARAM_VALUE | 4 | $ | 176,178,182,184 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 51 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $2 |
| DATA_SOURCE | 3 | $ | r btrfs_extent_inline_ref_type |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 50 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 4315164849611927552 |
| PARAM_VALUE | 3 | $ | 172,176,178,182,184 |
| PARAM_VALUE | 5 | $ | 1-u64max |
| PARAM_VALUE | 6 | $ | 0,172,176,178,182,184 |
| PARAM_VALUE | 7 | $ | 0-18446744073709551614 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 85 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 6 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| CAPPED_DATA | 7 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $2 |
| DATA_SOURCE | 3 | $ | r btrfs_extent_inline_ref_type |
| DATA_SOURCE | 4 | $ | r btrfs_extent_inline_ref_offset |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 84 |
| PARAM_COMPARE | 3 | $ | >= $6 |
| PARAM_COMPARE | 6 | $ | <= $3 |
| PARAM_COMPARE | 7 | $ | impossible $5 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 7807632242081730560 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 46 |
| 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 | 45 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 4481484674842374144 |
| PARAM_VALUE | 3 | $ | 0-18446744073709551614 |
| PARAM_VALUE | 4 | $ | 1-u64max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 53 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $2 |
| DATA_SOURCE | 3 | $ | r btrfs_extent_refs |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 52 |
| PARAM_COMPARE | 3 | $ | < $4 |
| PARAM_COMPARE | 4 | $ | > $3 |
| PARAM_COMPARE | 4 | $ | > $3 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_extent_item() -> extent_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 | 2843940575003996160 |
| PARAM_VALUE | 4 | $ | 168-169 |
| PARAM_VALUE | 6 | $ | 0-18446744073709551614 |
| PARAM_VALUE | 7 | $ | 168-169 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 70 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 6 | $ | 1 |
| CAPPED_DATA | 6 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $2 |
| FUZZY_MAX | 1 | slot | 0 |
| FUZZY_MAX | 4 | $ | 169 |
| FUZZY_MAX | 7 | $ | 169 |
| STR_LEN | 0 | eb | 69 |
| PARAM_COMPARE | 3 | $ | > $6 |
| BIT_INFO | 4 | $ | 0xa8,0xa9 |
| BIT_INFO | 7 | $ | 0xa8,0xa9 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | $ | unit_byte |
| UNITS | 5 | $ | unit_byte |
| UNITS | 6 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_simple_keyed_refs() -> extent_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 | 1937584747044962304 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 62 |
| 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 | 61 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_simple_keyed_refs() -> extent_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 | 7710174070910423040 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 59 |
| 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 | 58 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |