Documented in 1 files:
Defined in 1 files as a function:
Referenced in 6 files:
- include/linux/maple_tree.h, line 814
- include/linux/mm.h, line 1692
- lib/maple_tree.c, line 4990
- mm/vma.h
- tools/testing/radix-tree/maple.c
- tools/testing/vma/include/dup.h, line 1307
Smatch caller information:
lib/maple_tree.c mas_set_range() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| 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 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | last | |
| NOSPEC | 2 | 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] |
| HOST_DATA | 1 | start | 1-s32max[c] |
| HOST_DATA | 2 | last | 1-s32max[c] |
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | start | 0-u64max |
| USER_DATA | 2 | last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size |
lib/maple_tree.c mas_store_gfp() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| 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[c] |
| USER_DATA | 0 | mas->last | 0-4294967294,u64max[u] |
| USER_DATA | 1 | start | 0-u64max |
| USER_DATA | 2 | last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->capacity | |
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | mutex |
mm/mmap.c mas_set_range() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3206200147527860224,7384155619282165760 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c vma_iter_clear_gfp() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3206200147527860224 |
| PARAM_VALUE | 0 | mas->status | 0,2-3 |
| DATA_SOURCE | 1 | start | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/userfaultfd.c mas_set_range() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1467127174713044992,5766468818838921216 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | start | 0-18446744073709551614 |
| PARAM_VALUE | 2 | last | 0-18446744073709551614 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | last | 1 |
| CAPPED_DATA | 2 | last | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | last | |
| NOSPEC | 2 | last | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-18446744073709551614[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | start | 0-18446744073709551614[c] |
| USER_DATA | 2 | last | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| NO_OVERFLOW_SIMPLE | 1 | start | |
| NO_OVERFLOW_SIMPLE | 2 | last | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| 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_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| LOCK2 | &(&mas)->tree->ma_lock |
fs/proc/task_mmu.c mas_set_range() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| 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_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| 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 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | last | |
| NOSPEC | 2 | last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | start | 0-u64max |
| USER_DATA | 2 | last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->capacity | |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
mm/vma.c vma_iter_clear_gfp() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 134236606698369024,1022776648951132160,4907233300821278720,5394055068851789824,5831082256766734336,7107899751205675008,7547875335579738112 |
| PARAM_VALUE | 0 | mas->status | 0,2-3 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| DATA_SOURCE | 1 | start | $1 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | start | 0-u64max[c] |
| USER_DATA | 2 | last | 0-4294967294,u64max |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c vma_iter_config() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| DATA_SOURCE | 1 | start | $1 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| NOSPEC | 1 | start | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | start | 0-u64max |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
mm/vma.c vma_iter_store_gfp() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1022776648951132160,5394055068851789824 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 1 | start | 0,4096-u64max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/vma.c vma_iter_store_overwrite() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->mas_flags | 1,3-255 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0-1 |
| PARAM_VALUE | 0 | mas->status | 0,2,4,7-u32max |
| PARAM_VALUE | 0 | mas->store_type | 1-9 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 1 | start | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | start | 0-18446744073709547520 |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &vma->anon_vma->root->rwsem |
drivers/base/regmap/regcache-maple.c mas_set_range() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| NOSPEC | 1 | start | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | start | 2-2147487743[c] |
| USER_DATA | 2 | last | 0-u64max[c] |
| UNITS | 1 | start | unit_array_size |
| UNITS | 2 | last | unit_array_size |
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | map->lock_arg | ||
| HALF_LOCKED2 | rcu_read |
lib/test_maple_tree.c mas_set_range() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | &mt_lock |
kernel/sched/fair.c mas_set_range() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 246989008896827392 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | last | 0 |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| 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_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8963927461434200064 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 0 | mas->tree | 824627335631695872 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | last | 1 |
| CAPPED_DATA | 2 | last | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
mm/mmap_lock.c mas_set_range() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | last | |
| NOSPEC | 2 | last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | start | 0-u64max |
| USER_DATA | 2 | last | 0-u64max |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
mm/execmem.c mas_set_range() -> __mas_set_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 747517360957317120,5346958676717236224,8308723409954336768 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | last | unit_byte |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | mutex |