Documented in 1 files:
Defined in 1 files as a function:
Referenced in 7 files:
- include/linux/maple_tree.h, line 813
- lib/alloc_tag.c
- lib/maple_tree.c
-
lib/test_maple_tree.c
- line 512
- line 517
- line 568
- line 576
- line 582
- line 792
- line 962
- line 1704
- line 1720
- line 1734
- line 1748
- line 1763
- line 1780
- line 1882
- line 1897
- line 2130
- line 2227
- line 2234
- line 2290
- line 2329
- line 2350
- line 2819
- line 2823
- line 2831
- line 2837
- line 2843
- line 2850
- line 2857
- line 2861
- line 2866
- line 2871
- line 2874
- line 2877
- line 2880
- line 2883
- line 2906
- line 2923
- mm/alloc_tag.c
- mm/vma.h, line 629
-
tools/testing/radix-tree/maple.c
- line 691
- line 33560
- line 33568
- line 33583
- line 33603
- line 33618
- line 33634
- line 33652
- line 33721
- line 33733
- line 33743
- line 33759
- line 33772
- line 33785
- line 33794
- line 33814
- line 33829
- line 33839
- line 33849
- line 33857
- line 33865
- line 33873
- line 33880
- line 33887
- line 33896
- line 33908
- line 34736
- line 34754
- line 34771
- line 34787
- line 34803
- line 34829
- line 34848
- line 35033
- line 35048
- line 35081
- line 36446
Smatch caller information:
lib/maple_tree.c mas_alloc_cyclic() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 490740092738199552,3625433611361931264 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &mt->ma_lock | ||
| TYPE_LOCK | (struct maple_tree)->ma_lock |
lib/maple_tree.c mas_erase() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-2 |
| DATA_SOURCE | 0 | mas | $0 |
| NOSPEC | 0 | mas->last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->last | 0-u64max |
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | &mt->ma_lock | ||
| HALF_LOCKED2 | &ub->mutex | ||
| HALF_LOCKED2 | &uvmm->mutex | ||
| HALF_LOCKED2 | _T->lock |
lib/maple_tree.c mas_nomem() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | (-46) |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| DATA_SOURCE | 0 | mas | $0 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->capacity | |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size | |
| HALF_LOCKED2 | &(mas->tree)->ma_lock | ||
| HALF_LOCKED2 | &mt->ma_lock |
lib/maple_tree.c mas_preallocate() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | (-46) |
| PARAM_VALUE | 0 | mas->status | 7 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size | |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
lib/maple_tree.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| BUF_SIZE | 0 | mas | (-1),88 |
| BUF_SIZE | 0 | mas | (-1),88 |
| BUF_SIZE | 0 | mas->tree | (-1),8-s32max |
| DATA_SOURCE | 0 | mas | $0 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | mas->index | 1-u64max[c] |
| HOST_DATA | 0 | mas->last | 1-s32max[c] |
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size |
lib/maple_tree.c mas_wr_prealloc_setup() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0,2-u32max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/maple_tree.c mtree_lookup_walk() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 5318089139935907840 |
| PARAM_VALUE | 0 | mas->node | 0,4097-u64max |
| PARAM_VALUE | 0 | mas->status | 0 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | mas->index | 0-2147549436 |
| HOST_DATA | 0 | mas->last | 0-2147549436 |
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &(&ictx->mt_mmap)->ma_lock | ||
| HALF_LOCKED2 | &driver_migrate_lock | ||
| HALF_LOCKED2 | &iommu->lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &prange->migrate_mutex | ||
| HALF_LOCKED2 | &split_debug_mutex | ||
| HALF_LOCKED2 | &vm->lock | ||
| HALF_LOCKED2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | global &ksm_thread_mutex |
lib/maple_tree.c mtree_range_walk() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| BUF_SIZE | 0 | mas | (-1),88 |
| BUF_SIZE | 0 | mas | (-1),88 |
| BUF_SIZE | 0 | mas->tree | (-1),8-s32max |
| DATA_SOURCE | 0 | mas | $0 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | mas->index | 1-u64max[c] |
| HOST_DATA | 0 | mas->last | 1-u64max[c] |
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size |
mm/mmap.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3206200147527860224,7384155619282165760 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/userfaultfd.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1467127174713044992,5766468818838921216 |
| PARAM_VALUE | 0 | mas->status | 0-1,3,5,8-u32max |
| DATA_SOURCE | 0 | mas | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-18446744073709551614[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| HALF_LOCKED2 | &dst_mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/damon/vaddr.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
fs/proc/task_mmu.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &m->lock | ||
| HALF_LOCKED2 | &lock_ctx->mm->mmap_lock | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct seq_file)->lock |
mm/vma.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 0,4096-ptr_max |
| BUF_SIZE | 0 | mas | (-1)-0,88 |
| BUF_SIZE | 0 | mas | (-1)-0,88 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| DATA_SOURCE | 0 | mas | $0 |
| NOSPEC | 0 | mas->index | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->capacity | |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size |
mm/vma.c vma_iter_reset() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4000179264148541440,7162845571259215872 |
| PARAM_VALUE | 0 | mas->status | 0,2-3,6,8-u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| HALF_LOCKED2 | &mm->mmap_lock |
drivers/base/regmap/regcache-maple.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| DATA_SOURCE | 0 | mas | $0 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | map->lock_arg | ||
| HALF_LOCKED2 | rcu_read |
lib/test_maple_tree.c check_alloc_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_alloc_rev_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_empty_area_fill() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 7973555732508303360 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_empty_area_fill() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 7973555732508303360 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_find() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| PARAM_VALUE | 0 | mas->status | 0-1,3-5,8-u32max |
| NOCHECK_CALL |
lib/test_maple_tree.c check_find() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_find() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| PARAM_VALUE | 0 | mas->status | 0-3,5,8-u32max |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_find() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| PARAM_VALUE | 0 | mas->status | 0,2-3,6,8-u32max |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_find() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| PARAM_VALUE | 0 | mas->status | 0-3 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_gap_combining() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->status | 0-3,5,8-u32max |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->status | 0-3,5,8-u32max |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_gap_combining() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_gap_combining() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->status | 0-3,7 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_mas_store_gfp() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&newmas)->tree->ma_lock | ||
| LOCK2 | rcu_read |
lib/test_maple_tree.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | &mt_lock |
lib/test_maple_tree.c next_prev_test() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-3,5,8-u32max |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-1,3,5,8-u32max |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0,2-3,6,8-u32max |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0,2-3,6,8-u32max |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 0,2,8-u32max |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
kernel/sched/fair.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 246989008896827392 |
| PARAM_VALUE | 0 | mas->status | 0-1,3,5,8-u32max |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
lib/interval_tree_test.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8963927461434200064 |
| PARAM_VALUE | 0 | mas->status | 0-3,5,8-u32max |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| DATA_SOURCE | 0 | mas | $0 |
| NOCHECK_CALL |
mm/mmap_lock.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-3,5,8-u32max |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
mm/execmem.c mas_set_range() -> mas_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 747517360957317120,5346958676717236224,8308723409954336768 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | mutex |