Defined in 1 files as a prototype:
Defined in 1 files as a macro:
Defined in 1 files as a function:
Referenced in 4 files:
- lib/maple_tree.c, line 7092
- lib/test_maple_tree.c
- mm/vma.c, line 696
-
tools/testing/radix-tree/maple.c
- line 662
- line 715
- line 33680
- line 33688
- line 33699
- line 33708
- line 33716
- line 33728
- line 33739
- line 33752
- line 33764
- line 33777
- line 33790
- line 33799
- line 33821
- line 33834
- line 33844
- line 33854
- line 33862
- line 33870
- line 33877
- line 33884
- line 33891
- line 33903
- line 33913
- line 34413
- line 34656
- line 35306
- line 35476
- line 35490
- line 35504
- line 35517
- line 35539
- line 35574
- line 36034
- line 36066
- line 36081
- line 36106
- line 36161
- line 36488
Smatch caller information:
mm/vma.c validate_mm() -> mt_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
lib/test_maple_tree.c check_alloc_range() -> mt_validate()
| 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_range() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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_deficient_node() -> mt_validate()
| 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_forking() -> mt_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 8688075177093472256 |
| PARAM_VALUE | 0 | mt->ma_flags | 769 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| NOCHECK_CALL | |||
| LOCK2 | &mt_lock | ||
| LOCK2 | &newmt_lock |
lib/test_maple_tree.c check_gap_combining() -> mt_validate()
| 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 | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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_mas_store_gfp() -> mt_validate()
| 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_node_overwrite() -> mt_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | mt | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_ranges() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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() -> mt_validate()
| 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 |