Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

mm/mmap.c vma_iter_bulk_store() -> mas_store()

Type Parameter Key Value
PARAM_VALUE 0 mas 3206200147527860224
PARAM_VALUE 0 mas->status 0,2-3
PARAM_VALUE 1 entry 4096-ptr_max
DATA_SOURCE 1 entry $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mas->index
UNITS 1 entry unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->index 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 mas->last 0-s32max,18446744071562067968-u64max
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
PARAM_VALUE 0 mas->store_type 0-9
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->index 240
PARAM_VALUE 0 mas->last 509
PARAM_VALUE 0 mas->node 0
PARAM_VALUE 0 mas->status 1
PARAM_VALUE 0 mas->store_type 0-9
PARAM_VALUE 1 entry 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 6758922485489348608
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,2-3
PARAM_VALUE 0 mas->store_type 0-9
PARAM_VALUE 1 entry 1-u64max
DATA_SOURCE 1 entry r mas_find
NOCHECK_CALL
LOCK2 &mt_lock
LOCK2 &newmt_lock

lib/test_maple_tree.c check_iteration() -> mas_store()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->index 925
PARAM_VALUE 0 mas->last 929
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,2-3
PARAM_VALUE 0 mas->store_type 0-9
PARAM_VALUE 1 entry 1-u64max
DATA_SOURCE 1 entry r mas_find
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_iteration() -> mas_store()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->index 780
PARAM_VALUE 0 mas->last 785
PARAM_VALUE 0 mas->status 0,2-3
PARAM_VALUE 0 mas->store_type 0-9
PARAM_VALUE 1 entry 1-u64max
DATA_SOURCE 1 entry r mas_find
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_iteration() -> mas_store()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->index 760
PARAM_VALUE 0 mas->last 765
PARAM_VALUE 0 mas->status 0,2-3
PARAM_VALUE 0 mas->store_type 0-9
PARAM_VALUE 1 entry 1-u64max
DATA_SOURCE 1 entry r mas_find
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c next_prev_test() -> mas_store()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->index 0
PARAM_VALUE 0 mas->last 5
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,2-3,6,8-u32max
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 1 entry 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock