Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/ref-verify.c btrfs_free_ref_tree_range() -> dump_block_entry()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->block_group_cache_lock.dep_map->name 0-255
PARAM_VALUE 0 fs_info->chunk_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 fs_info->delayed_refs_rsv.full 0
PARAM_VALUE 0 fs_info->global_block_rsv.full 1
PARAM_VALUE 0 fs_info->global_block_rsv.reserved 0-536870912
PARAM_VALUE 0 fs_info->global_block_rsv.size 0-536870912
PARAM_VALUE 0 fs_info->mount_opt 33554432-u64max
PARAM_VALUE 0 fs_info->ref_verify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 be 4096-ptr_max
PARAM_VALUE 1 be->bytenr 0-18446744073709551614
CAPPED_DATA 1 be->bytenr 1
DATA_SOURCE 0 fs_info $0
BIT_INFO 0 fs_info->mount_opt 0x2000000,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fs_info unit_byte
UNITS 1 be unit_byte
LOCK2 0 &fs_info->ref_verify_lock
HALF_LOCKED2 &fs_info->reclaim_bgs_lock
TYPE_LOCK (struct btrfs_fs_info)->reclaim_bgs_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock

fs/btrfs/ref-verify.c btrfs_free_ref_tree_range() -> dump_block_entry()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->block_group_cache_lock.dep_map->name 0-255
PARAM_VALUE 0 fs_info->chunk_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 fs_info->delayed_refs_rsv.full 0
PARAM_VALUE 0 fs_info->global_block_rsv.full 1
PARAM_VALUE 0 fs_info->global_block_rsv.reserved 0-536870912
PARAM_VALUE 0 fs_info->global_block_rsv.size 0-536870912
PARAM_VALUE 0 fs_info->mount_opt 33554432-u64max
PARAM_VALUE 0 fs_info->ref_verify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 be 4096-ptr_max
PARAM_VALUE 1 be->bytenr 0-18446744073709551614
CAPPED_DATA 1 be->bytenr 1
DATA_SOURCE 0 fs_info $0
BIT_INFO 0 fs_info->mount_opt 0x2000000,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fs_info unit_byte
UNITS 1 be unit_byte
LOCK2 0 &fs_info->ref_verify_lock
HALF_LOCKED2 &fs_info->reclaim_bgs_lock
TYPE_LOCK (struct btrfs_fs_info)->reclaim_bgs_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock

fs/btrfs/ref-verify.c btrfs_ref_tree_mod() -> dump_block_entry()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->mount_opt 33554432-u64max
PARAM_VALUE 0 fs_info->ref_verify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 be 4096-ptr_max
PARAM_VALUE 1 be->num_refs 0,2-u64max
BUF_SIZE 1 be (-1),88
BUF_SIZE 1 be (-1),88
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 1 be r add_block_entry
BIT_INFO 0 fs_info->mount_opt 0x2000000,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 fs_info->sectorsize
NO_OVERFLOW_SIMPLE 1 be->bytenr
NO_OVERFLOW_SIMPLE 1 be->len
UNITS 0 fs_info unit_byte
LOCK2 0 &fs_info->ref_verify_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock

fs/btrfs/ref-verify.c btrfs_ref_tree_mod() -> dump_block_entry()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->mount_opt 33554432-u64max
PARAM_VALUE 0 fs_info->ref_verify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 be 4096-ptr_max
PARAM_VALUE 1 be->num_refs 0
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 1 be r lookup_block_entry
BIT_INFO 0 fs_info->mount_opt 0x2000000,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 fs_info->sectorsize
UNITS 0 fs_info unit_byte
LOCK2 0 &fs_info->ref_verify_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock

fs/btrfs/ref-verify.c btrfs_ref_tree_mod() -> dump_block_entry()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->mount_opt 33554432-u64max
PARAM_VALUE 0 fs_info->ref_verify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 be 4096-ptr_max
PARAM_VALUE 1 be->num_refs 1-u64max
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 1 be r lookup_block_entry
BIT_INFO 0 fs_info->mount_opt 0x2000000,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 fs_info->sectorsize
NO_OVERFLOW_SIMPLE 1 be->bytenr
NO_OVERFLOW_SIMPLE 1 be->len
UNITS 0 fs_info unit_byte
LOCK2 0 &fs_info->ref_verify_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock

fs/btrfs/ref-verify.c btrfs_ref_tree_mod() -> dump_block_entry()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->mount_opt 33554432-u64max
PARAM_VALUE 0 fs_info->ref_verify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 be 4096-ptr_max
PARAM_VALUE 1 be->metadata s32min-(-1),1-s32max
PARAM_VALUE 1 be->num_refs 1-u64max
DATA_SOURCE 0 fs_info $0
BIT_INFO 0 fs_info->mount_opt 0x2000000,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 fs_info->sectorsize
NO_OVERFLOW_SIMPLE 1 be->bytenr
NO_OVERFLOW_SIMPLE 1 be->len
UNITS 0 fs_info unit_byte
LOCK2 0 &fs_info->ref_verify_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock

fs/btrfs/ref-verify.c btrfs_ref_tree_mod() -> dump_block_entry()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->mount_opt 33554432-u64max
PARAM_VALUE 0 fs_info->ref_verify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 be 4096-ptr_max
PARAM_VALUE 1 be->num_refs 1-u64max
PARAM_VALUE 1 be->refs.rb_node 4096-ptr_max
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 1 be r lookup_block_entry
BIT_INFO 0 fs_info->mount_opt 0x2000000,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 fs_info->sectorsize
NO_OVERFLOW_SIMPLE 1 be->bytenr
NO_OVERFLOW_SIMPLE 1 be->len
UNITS 0 fs_info unit_byte
LOCK2 0 &fs_info->ref_verify_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock

fs/btrfs/ref-verify.c btrfs_ref_tree_mod() -> dump_block_entry()

Type Parameter Key Value
PARAM_VALUE 0 fs_info 4096-ptr_max
PARAM_VALUE 0 fs_info->mount_opt 33554432-u64max
PARAM_VALUE 0 fs_info->ref_verify_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 be 4096-ptr_max
PARAM_VALUE 1 be->num_refs 1
BUF_SIZE 1 be (-1),88
BUF_SIZE 1 be (-1),88
CAPPED_DATA 1 &be->actions 1
DATA_SOURCE 0 fs_info $0
DATA_SOURCE 1 be r add_block_entry
BIT_INFO 0 fs_info->mount_opt 0x2000000,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fs_info->nodesize
NO_OVERFLOW_SIMPLE 0 fs_info->sectorsize
NO_OVERFLOW_SIMPLE 1 be->bytenr
NO_OVERFLOW_SIMPLE 1 be->len
UNITS 0 fs_info unit_byte
LOCK2 0 &fs_info->ref_verify_lock
TYPE_LOCK (struct btrfs_fs_info)->ref_verify_lock