Defined in 1 files as a function:
Referenced in 4 files:
- include/linux/maple_tree.h, line 794
- lib/maple_tree.c
-
lib/test_maple_tree.c
- line 3289
- line 3298
- line 3308
- line 3315
- line 3329
- line 3350
- line 3361
- line 3368
- line 3376
- line 3409
- line 3423
- line 3434
- line 3448
- line 3456
- line 3465
- line 3473
- line 3480
- line 3488
- line 3495
- line 3502
- line 3509
- line 3516
- line 3524
- line 3539
- line 3547
- line 3555
- line 3564
- line 3573
- line 3582
- line 3591
- line 3601
- line 3610
- tools/testing/radix-tree/maple.c, line 572
Smatch caller information:
lib/maple_tree.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| 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 | |||
| 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->capacity | |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size |
lib/maple_tree.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas | (-1),88 |
| BUF_SIZE | 0 | mas | (-1),88 |
| BUF_SIZE | 0 | mas->tree | (-1),8-s32max |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | mas->index | 1-u64max[c] |
| HOST_DATA | 0 | mas->last | 1-s32max[c] |
| USER_DATA | 0 | mas->index | 0-u64max[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->capacity | |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size |
lib/maple_tree.c mas_lock_check() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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 | |||
| 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_make_walkable() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-3 |
| 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 | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size | |
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | &uvmm->mutex | ||
| HALF_LOCKED2 | _T->lock |
lib/maple_tree.c mas_next_setup() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-3,8-u32max |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| DATA_SOURCE | 0 | mas | $0 |
| NOSPEC | 0 | mas->index | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-s32max[c] |
lib/maple_tree.c mas_wr_prealloc_setup() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/maple_tree.c mt_find() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 2796779038494846976 |
| PARAM_VALUE | 0 | mas->status | 0,2-3,5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 |
| LOCK2 | rcu_read |
lib/maple_tree.c mt_find() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 2796779038494846976 |
| PARAM_VALUE | 0 | mas->status | 0,2-3,5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 |
| LOCK2 | rcu_read |
lib/maple_tree.c mt_validate() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8277924692161298432 |
| PARAM_VALUE | 0 | mas->status | 0,2-3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mt_lock | ||
| HALF_LOCKED2 | &newmt_lock | ||
| HALF_LOCKED2 | rcu_read |
mm/mmap.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3206200147527860224,7384155619282165760 |
| PARAM_VALUE | 0 | mas->status | 0-3 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3206200147527860224,7384155619282165760 |
| PARAM_VALUE | 0 | mas->status | 0 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/userfaultfd.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1467127174713044992,5766468818838921216 |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| DATA_SOURCE | 0 | mas | $0 |
| 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/userfaultfd.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1467127174713044992,5766468818838921216 |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| 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_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| LOCK2 | &(&mas)->tree->ma_lock |
mm/damon/vaddr.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| PREEMPT_ADD | |||
| LOCK2 | &(&mas)->tree->ma_lock |
fs/proc/task_mmu.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &m->lock | ||
| HALF_LOCKED2 | &lock_ctx->mm->mmap_lock | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct seq_file)->lock |
fs/proc/task_mmu.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 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 | |
| NOSPEC | 0 | mas->last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 |
mm/vma.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | mas->index | 0-u64max[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size | |
| HALF_LOCKED2 | &mm->mmap_lock |
drivers/base/regmap/regcache-maple.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| NOSPEC | 0 | mas->index | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 |
drivers/base/regmap/regcache-maple.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| NOSPEC | 0 | mas->index | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | mas->index | 0-u64max[c] |
| 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 __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | &mt_lock |
lib/test_maple_tree.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| PREEMPT_ADD | |||
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | &mt_lock |
kernel/sched/fair.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 246989008896827392 |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
kernel/sched/fair.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 246989008896827392 |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8963927461434200064 |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas->tree | 88 |
| DATA_SOURCE | 0 | mas | $0 |
lib/interval_tree_test.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8963927461434200064 |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas->tree | 88 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
mm/mmap_lock.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
mm/mmap_lock.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | mas->index | 0-u64max[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
mm/execmem.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 747517360957317120,5346958676717236224,8308723409954336768 |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | mutex |
mm/execmem.c __mas_set_range() -> mas_is_active()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 747517360957317120,5346958676717236224,8308723409954336768 |
| PARAM_VALUE | 0 | mas->status | 1 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | mutex |