Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

lib/maple_tree.c mas_set() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->status 0-3,8-u32max
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 $1
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_wr_spanning_store() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->index 0
PARAM_VALUE 0 mas->last 0-18446744073709551614
PARAM_VALUE 1 start 0
PARAM_VALUE 2 last u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mt->ma_lock

mm/mmap.c mas_set() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
DATA_SOURCE 0 mas $0
DATA_SOURCE 1 start $1
DATA_SOURCE 2 last $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
HALF_LOCKED2 &oldmm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c mas_set() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0-1,3,5,8-u32max
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 $1
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 __link_vmas() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 1 start unit_byte
UNITS 2 last unit_byte
LOCK2 &(&mas)->tree->ma_lock

fs/proc/task_mmu.c mas_set() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
DATA_SOURCE 0 mas $0
DATA_SOURCE 1 start $1
DATA_SOURCE 2 last $1
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() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
BUF_SIZE 0 mas->tree (-1),88
DATA_SOURCE 0 mas $0
DATA_SOURCE 1 start $1
DATA_SOURCE 2 last $1
NOSPEC 0 mas->index
NOSPEC 1 start
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
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c vms_abort_munmap_vmas() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 0
BUF_SIZE 0 mas 0
NOCHECK_CALL
UNITS 1 start unit_byte
UNITS 2 last unit_byte

drivers/base/regmap/regcache-maple.c regcache_maple_drop() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0-3
PARAM_VALUE 1 start 0-4294967294
PARAM_VALUE 2 last 0-u32max
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
CAPPED_DATA 2 last 1
CAPPED_DATA 2 last 1
NOSPEC 1 start
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 last 0-2147487740[c]
LOCK2 &(&mas)->tree->ma_lock
HALF_LOCKED2 map->lock_arg

drivers/base/regmap/regcache-maple.c regcache_maple_drop() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 1 start 0-u32max
PARAM_VALUE 2 last 2-u64max
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
NOSPEC 0 mas->index
NOSPEC 0 mas->last
PREEMPT_ADD <- disables preempt
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 2-u64max
LOCK2 &(&mas)->tree->ma_lock
HALF_LOCKED2 map->lock_arg

drivers/base/regmap/regcache-maple.c regcache_maple_insert_block() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->depth 0
PARAM_VALUE 0 mas->end 0
PARAM_VALUE 0 mas->index 0-s32max
PARAM_VALUE 0 mas->last 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 mas->ld_seq 0
PARAM_VALUE 0 mas->mas_flags 0
PARAM_VALUE 0 mas->max u64max
PARAM_VALUE 0 mas->min 0
PARAM_VALUE 0 mas->node 0
PARAM_VALUE 0 mas->node_request 0
PARAM_VALUE 0 mas->offset 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 0,4096-ptr_max
PARAM_VALUE 1 start 0-u32max
PARAM_VALUE 2 last 0-u32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 start unit_array_size
UNITS 2 last unit_array_size
LOCK2 &(&mas)->tree->ma_lock
LOCK2 map->lock_arg
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 &data->mutex
HALF_LOCKED2 _T->lock

drivers/base/regmap/regcache-maple.c regcache_maple_write() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 7518954454265106432
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->mas_flags 0
PARAM_VALUE 0 mas->node_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0,3
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 1 start 0-u32max
PARAM_VALUE 2 last 0-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 map->lock_arg

drivers/base/regmap/regcache-maple.c regcache_maple_write() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 7518954454265106432
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->mas_flags 0
PARAM_VALUE 0 mas->node_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0-3,5,8-u32max
PARAM_VALUE 0 mas->store_type 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock
HALF_LOCKED2 map->lock_arg

lib/test_maple_tree.c check_bnode_min_spanning() -> 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,(-86)
PARAM_VALUE 0 mas->node_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0-2,7-u32max
PARAM_VALUE 0 mas->store_type 0-9
PARAM_VALUE 1 start 0-s32max,18446744071562067968-u64max
PARAM_VALUE 2 last 0-s32max,18446744071562067968-u64max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_bnode_min_spanning() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->node 0,(-86)
PARAM_VALUE 0 mas->status 0,2,7-u32max
PARAM_VALUE 0 mas->store_type 0-9
PARAM_VALUE 1 start 240
PARAM_VALUE 2 last 509
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_forking() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 7011290410941321216
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-1340
PARAM_VALUE 2 last 5-1345
NOCHECK_CALL
LOCK2 &mt_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 5691979941049311232
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-160
PARAM_VALUE 2 last 5-165
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_root_expand() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0,3
PARAM_VALUE 1 start 0
PARAM_VALUE 2 last 100
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_store_null() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 1 start 3
PARAM_VALUE 2 last 10
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_store_null() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 1 start 0
PARAM_VALUE 2 last u64max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_store_null() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 1 start 0
PARAM_VALUE 2 last 5
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_store_null() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 1 start 2
PARAM_VALUE 2 last 5
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_store_null() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 1 start 1
PARAM_VALUE 2 last 3
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_store_null() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 1 start 0
PARAM_VALUE 2 last u64max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c mas_set() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
DATA_SOURCE 0 mas $0
DATA_SOURCE 1 start $1
DATA_SOURCE 2 last $1
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 &(&mas)->tree->ma_lock
HALF_LOCKED2 &(&newmas)->tree->ma_lock
HALF_LOCKED2 &mt_lock
HALF_LOCKED2 &newmt_lock
HALF_LOCKED2 rcu_read

kernel/sched/fair.c mas_set() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 246989008896827392
PARAM_VALUE 0 mas->mas_flags 0
PARAM_VALUE 0 mas->node_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0-1,3,5,8-u32max
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 $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 start unit_byte
UNITS 2 last unit_byte
LOCK2 &mm->mmap_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu
TYPE_LOCK (struct mm_struct)->mmap_lock

lib/interval_tree_test.c mas_set() -> 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_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0-3,5,8-u32max
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 0 mas->tree 824627335631695872
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 $1
NOCHECK_CALL
UNITS 1 start unit_byte
UNITS 2 last unit_byte

mm/mmap_lock.c mas_set() -> mas_set_range()

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
DATA_SOURCE 1 start $1
DATA_SOURCE 2 last $1
NOSPEC 1 start
NOSPEC 2 last
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 execmem_cache_add_locked() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 747517360957317120
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->mas_flags 0
PARAM_VALUE 0 mas->node_request 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0-3,5,8-u32max
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 0 mas->tree 2921702223833034992
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 last unit_byte
HALF_LOCKED2 _T->lock
HALF_LOCKED2 mutex

mm/execmem.c execmem_cache_alloc_locked() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 8308723409954336768
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->depth 0
PARAM_VALUE 0 mas->end 0
PARAM_VALUE 0 mas->index 0
PARAM_VALUE 0 mas->last u64max
PARAM_VALUE 0 mas->ld_seq 0
PARAM_VALUE 0 mas->mas_flags 0
PARAM_VALUE 0 mas->max u64max
PARAM_VALUE 0 mas->min 0
PARAM_VALUE 0 mas->node 0
PARAM_VALUE 0 mas->node_request 0
PARAM_VALUE 0 mas->offset 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 2921702223833034904
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 start unit_byte
UNITS 2 last unit_byte
HALF_LOCKED2 _T->lock
HALF_LOCKED2 mutex

mm/execmem.c execmem_cache_alloc_locked() -> mas_set_range()

Type Parameter Key Value
PARAM_VALUE 0 mas 5346958676717236224
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 start unit_byte
HALF_LOCKED2 _T->lock
HALF_LOCKED2 mutex