Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/extent_map.c validate_extent_map() -> dump_extent_map()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 1 prefix 732732849117081600
PARAM_VALUE 2 em 4096-ptr_max
BUF_SIZE 1 prefix 41
BUF_SIZE 2 em (-1),1-s32max
BUF_SIZE 2 em (-1),1-s32max
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 2 em $1
STR_LEN 0 fs_info 40
NOSPEC 2 em->len
NOSPEC 2 em->ram_bytes
NOSPEC 2 em->start
TERMINATED 1 prefix 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 em->len 0-u64max[c]
USER_DATA 2 em->offset 0-u64max
USER_DATA 2 em->ram_bytes 0-u64max[c]
USER_DATA 2 em->start 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 2 em->disk_num_bytes
NO_OVERFLOW_SIMPLE 2 em->start
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &em_tree->lock
TYPE_LOCK (struct extent_map_tree)->lock

fs/btrfs/extent_map.c validate_extent_map() -> dump_extent_map()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 1 prefix 8433411492182347776
PARAM_VALUE 2 em 4096-ptr_max
PARAM_VALUE 2 em->disk_bytenr 0-18446744073709551611
PARAM_VALUE 2 em->disk_num_bytes 0
BUF_SIZE 1 prefix 20
BUF_SIZE 2 em (-1),1-s32max
BUF_SIZE 2 em (-1),1-s32max
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 2 em $1
FUZZY_MAX 2 em->disk_bytenr 18446744073709551611
STR_LEN 0 fs_info 19
NOSPEC 2 em->len
NOSPEC 2 em->ram_bytes
NOSPEC 2 em->start
TERMINATED 1 prefix 1
HARD_MAX 2 em->disk_bytenr 18446744073709551611
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 em->len 0-u64max[c]
USER_DATA 2 em->offset 0-u64max
USER_DATA 2 em->ram_bytes 0-u64max[c]
USER_DATA 2 em->start 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 2 em->disk_num_bytes
NO_OVERFLOW_SIMPLE 2 em->start
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &em_tree->lock
TYPE_LOCK (struct extent_map_tree)->lock

fs/btrfs/extent_map.c validate_extent_map() -> dump_extent_map()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 1 prefix 930960041080492032
PARAM_VALUE 2 em 4096-ptr_max
PARAM_VALUE 2 em->disk_bytenr 0-18446744073709551611
PARAM_VALUE 2 em->disk_num_bytes 1-u64max
PARAM_VALUE 2 em->ram_bytes 0-18446744073709551614
BUF_SIZE 1 prefix 20
BUF_SIZE 2 em (-1),1-s32max
BUF_SIZE 2 em (-1),1-s32max
CAPPED_DATA 2 em->ram_bytes 1
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 2 em $1
FUZZY_MAX 2 em->disk_bytenr 18446744073709551611
STR_LEN 0 fs_info 19
NOSPEC 2 em->len
NOSPEC 2 em->ram_bytes
NOSPEC 2 em->start
TERMINATED 1 prefix 1
HARD_MAX 2 em->disk_bytenr 18446744073709551611
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 em->len 0-u64max[c]
USER_DATA 2 em->offset 0-u64max
USER_DATA 2 em->ram_bytes 0-s32max[c]
USER_DATA 2 em->start 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 2 em->disk_num_bytes
NO_OVERFLOW_SIMPLE 2 em->start
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &em_tree->lock
TYPE_LOCK (struct extent_map_tree)->lock

fs/btrfs/extent_map.c validate_extent_map() -> dump_extent_map()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 1 prefix 3669039552859115520
PARAM_VALUE 2 em 4096-ptr_max
PARAM_VALUE 2 em->disk_bytenr 0-18446744073709551611
PARAM_VALUE 2 em->disk_num_bytes 1-18446744073709551614
BUF_SIZE 1 prefix 25
BUF_SIZE 2 em (-1),1-s32max
BUF_SIZE 2 em (-1),1-s32max
CAPPED_DATA 2 em->disk_num_bytes 1
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 2 em $1
FUZZY_MAX 2 em->disk_bytenr 18446744073709551611
STR_LEN 0 fs_info 24
PARAM_COMPARE 2 em->disk_num_bytes < $2->ram_bytes
NOSPEC 2 em->len
NOSPEC 2 em->ram_bytes
NOSPEC 2 em->start
TERMINATED 1 prefix 1
HARD_MAX 2 em->disk_bytenr 18446744073709551611
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 em->len 0-u64max[c]
USER_DATA 2 em->offset 0-u64max
USER_DATA 2 em->ram_bytes 0-u64max[c]
USER_DATA 2 em->start 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 2 em->disk_num_bytes
NO_OVERFLOW_SIMPLE 2 em->start
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &em_tree->lock
TYPE_LOCK (struct extent_map_tree)->lock

fs/btrfs/extent_map.c validate_extent_map() -> dump_extent_map()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 1 prefix 5509124468237381632
PARAM_VALUE 2 em 4096-ptr_max
PARAM_VALUE 2 em->disk_bytenr 0-18446744073709551611
PARAM_VALUE 2 em->disk_num_bytes 1-u64max
BUF_SIZE 1 prefix 61
BUF_SIZE 2 em (-1),1-s32max
BUF_SIZE 2 em (-1),1-s32max
CAPPED_DATA 2 em->disk_num_bytes 1
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 2 em $1
FUZZY_MAX 2 em->disk_bytenr 18446744073709551611
STR_LEN 0 fs_info 60
PARAM_COMPARE 2 em->disk_num_bytes < $2->ram_bytes
NOSPEC 2 em->len
NOSPEC 2 em->ram_bytes
NOSPEC 2 em->start
TERMINATED 1 prefix 1
HARD_MAX 2 em->disk_bytenr 18446744073709551611
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 em->len 0-u64max[c]
USER_DATA 2 em->offset 0-u64max
USER_DATA 2 em->ram_bytes 0-u64max[c]
USER_DATA 2 em->start 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 2 em->disk_num_bytes
NO_OVERFLOW_SIMPLE 2 em->start
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &em_tree->lock
TYPE_LOCK (struct extent_map_tree)->lock

fs/btrfs/extent_map.c validate_extent_map() -> dump_extent_map()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 1 prefix 3932713751132815360
PARAM_VALUE 2 em 4096-ptr_max
PARAM_VALUE 2 em->disk_bytenr 0-18446744073709551611
PARAM_VALUE 2 em->disk_num_bytes 1-u64max
BUF_SIZE 1 prefix 18
BUF_SIZE 2 em (-1),1-s32max
BUF_SIZE 2 em (-1),1-s32max
CAPPED_DATA 2 em->disk_num_bytes 1
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 2 em $1
FUZZY_MAX 2 em->disk_bytenr 18446744073709551611
STR_LEN 0 fs_info 17
NOSPEC 2 em->len
NOSPEC 2 em->ram_bytes
NOSPEC 2 em->start
TERMINATED 1 prefix 1
HARD_MAX 2 em->disk_bytenr 18446744073709551611
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 em->len 0-u64max[c]
USER_DATA 2 em->offset 0-u64max
USER_DATA 2 em->ram_bytes 0-u64max[c]
USER_DATA 2 em->start 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 2 em->disk_num_bytes
NO_OVERFLOW_SIMPLE 2 em->start
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &em_tree->lock
TYPE_LOCK (struct extent_map_tree)->lock

fs/btrfs/extent_map.c validate_extent_map() -> dump_extent_map()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 1 prefix 1809501173159964672
PARAM_VALUE 2 em 4096-ptr_max
PARAM_VALUE 2 em->disk_bytenr 18446744073709551612-u64max
PARAM_VALUE 2 em->offset 1-u64max
BUF_SIZE 1 prefix 32
BUF_SIZE 2 em (-1),1-s32max
BUF_SIZE 2 em (-1),1-s32max
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 2 em $1
FUZZY_MAX 2 em->disk_bytenr 18446744073709551612
STR_LEN 0 fs_info 31
NOSPEC 2 em->len
NOSPEC 2 em->ram_bytes
NOSPEC 2 em->start
TERMINATED 1 prefix 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 em->len 0-u64max[c]
USER_DATA 2 em->offset 1-u64max
USER_DATA 2 em->ram_bytes 0-u64max[c]
USER_DATA 2 em->start 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 2 em->disk_num_bytes
NO_OVERFLOW_SIMPLE 2 em->start
UNITS 0 fs_info unit_byte
HALF_LOCKED2 &em_tree->lock
TYPE_LOCK (struct extent_map_tree)->lock