Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/tests/extent-map-tests.c __test_case_3() -> free_extent_map_tree()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->extent_tree.lock.dep_map->name 0-255
PARAM_VALUE 0 inode->extent_tree.lock.owner (-1)
PARAM_VALUE 0 inode->extent_tree.lock.owner_cpu u32max
PARAM_VALUE 0 inode->extent_tree.lock.raw_lock.wlocked 0
PARAM_VALUE 0 inode->root 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info 4096-ptr_max
DATA_SOURCE 0 inode $1

fs/btrfs/tests/extent-map-tests.c __test_case_4() -> free_extent_map_tree()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->extent_tree.lock.dep_map->name 0-255
PARAM_VALUE 0 inode->extent_tree.lock.owner (-1)
PARAM_VALUE 0 inode->extent_tree.lock.owner_cpu u32max
PARAM_VALUE 0 inode->extent_tree.lock.raw_lock.wlocked 0
PARAM_VALUE 0 inode->root 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info 4096-ptr_max
DATA_SOURCE 0 inode $1

fs/btrfs/tests/extent-map-tests.c test_case_1() -> free_extent_map_tree()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->extent_tree.lock.dep_map->name 0-255
PARAM_VALUE 0 inode->extent_tree.lock.owner (-1)
PARAM_VALUE 0 inode->extent_tree.lock.owner_cpu u32max
PARAM_VALUE 0 inode->extent_tree.lock.raw_lock.wlocked 0
PARAM_VALUE 0 inode->root 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info 4096-ptr_max
DATA_SOURCE 0 inode $1

fs/btrfs/tests/extent-map-tests.c test_case_2() -> free_extent_map_tree()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->extent_tree.lock.dep_map->name 0-255
PARAM_VALUE 0 inode->extent_tree.lock.owner (-1)
PARAM_VALUE 0 inode->extent_tree.lock.owner_cpu u32max
PARAM_VALUE 0 inode->extent_tree.lock.raw_lock.wlocked 0
PARAM_VALUE 0 inode->root 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info 4096-ptr_max
DATA_SOURCE 0 inode $1

fs/btrfs/tests/extent-map-tests.c test_case_5() -> free_extent_map_tree()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $1

fs/btrfs/tests/extent-map-tests.c test_case_6() -> free_extent_map_tree()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $1

fs/btrfs/tests/extent-map-tests.c test_case_7() -> free_extent_map_tree()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->extent_tree.lock.dep_map->name 0-255
PARAM_VALUE 0 inode->extent_tree.lock.owner (-1)
PARAM_VALUE 0 inode->extent_tree.lock.owner_cpu u32max
PARAM_VALUE 0 inode->extent_tree.lock.raw_lock.wlocked 0
PARAM_VALUE 0 inode->root 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info 4096-ptr_max
DATA_SOURCE 0 inode $1

fs/btrfs/tests/extent-map-tests.c test_case_8() -> free_extent_map_tree()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->extent_tree.lock.dep_map->name 0-255
PARAM_VALUE 0 inode->extent_tree.lock.owner (-1)
PARAM_VALUE 0 inode->extent_tree.lock.owner_cpu u32max
PARAM_VALUE 0 inode->extent_tree.lock.raw_lock.wlocked 0
PARAM_VALUE 0 inode->root 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info 4096-ptr_max
DATA_SOURCE 0 inode $1