Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

lib/test_maple_tree.c alloc_cyclic_testing() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c alloc_cyclic_testing() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
CAPPED_DATA 0 mt 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c alloc_cyclic_testing() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
CAPPED_DATA 0 mt 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_alloc_range() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_external_lock 0-s32max
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_alloc_rev_range() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_external_lock 0-s32max
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_find() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 mt->ma_root 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_fuzzer() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 mt->ma_root 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0,4097-u64max
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_gap_combining() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_lb_not_empty() -> mtree_destroy()

Type Parameter Key Value
CAPPED_DATA 0 mt->ma_root 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_mas_store_gfp() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 5190478601657966592
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c check_next_entry() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 mt->ma_root 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_prev_entry() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 mt->ma_root 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 3
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_ranges() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_root_expand() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_root_expand() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_root_expand() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_store_null() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_store_null() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_store_null() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_store_null() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_store_null() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_store_null() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mt->ma_root 0
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c check_upper_bound_split() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
CAPPED_DATA 0 mt->ma_root 1
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c maple_tree_seed() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 697437168751288320
PARAM_VALUE 0 mt->ma_flags 0
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

lib/test_maple_tree.c next_prev_test() -> mtree_destroy()

Type Parameter Key Value
DATA_SOURCE 0 mt $0
NOCHECK_CALL

lib/region_alloc_benchmark.c benchmark_maple_tree() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 2073650329620516864
PARAM_VALUE 0 mt->ma_external_lock 0
PARAM_VALUE 0 mt->ma_flags 1
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

drivers/block/ublk_drv.c ublk_buf_cleanup() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

lib/interval_tree_test.c span_iteration_check() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 824627335631695872
PARAM_VALUE 0 mt->ma_external_lock 0
PARAM_VALUE 0 mt->ma_flags 3
PARAM_VALUE 0 mt->ma_root 0
NOCHECK_CALL

fs/libfs.c simple_offset_destroy() -> mtree_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mt 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL