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:

lib/maple_tree.c mt_prev() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 3877407600161845248
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->depth 0
PARAM_VALUE 0 mas->end 0
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
CAPPED_DATA 1 min 1
DATA_SOURCE 1 min $2
LOCK2 rcu_read

mm/mmap.c vma_prev() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 620329880920702976,1022776648951132160
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 min 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 mas->index 0-u64max
HALF_LOCKED2 &mm->mmap_lock

mm/mmap.c vma_prev_limit() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 5394055068851789824
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
CAPPED_DATA 1 min 1
DATA_SOURCE 1 min $1
UNITS 1 min unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c vma_prev() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 1467127174713044992,5364049127059881984
PARAM_VALUE 0 mas->index 0-18446744073709551614
PARAM_VALUE 0 mas->last 0-18446744073709551614
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 min 0
NOSPEC 0 mas->index
NOSPEC 0 mas->last
USER_DATA 0 mas->index 0-18446744073709551614[c]
USER_DATA 0 mas->last 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 0 mas->index
NO_OVERFLOW_SIMPLE 0 mas->last
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mseal.c vma_prev() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 2883308150567555072
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
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 1 min 0

mm/mprotect.c vma_prev() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 6391229382859632640
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
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 1 min 0
NOSPEC 0 mas->last
USER_DATA 0 mas->last 0-18446744073709551614

mm/vma_exec.c vma_prev() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 5892228724953571328
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 1 min 0
LOCK2 &mm->mmap_lock
LOCK2 &tsk->signal->exec_update_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mremap.c vma_prev() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 7107899751205675008
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 min 0
USER_DATA 0 mas->index 0-u64max
USER_DATA 0 mas->last 0-u64max
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/vma.c vma_prev() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 1 min 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 mas->index 0-u64max
USER_DATA 0 mas->last 0-u64max
HALF_LOCKED2 &mm->mmap_lock

lib/test_maple_tree.c check_find() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 784588970386345984
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 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_find() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 784588970386345984
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
PARAM_VALUE 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_find() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 784588970386345984
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->index u64max
PARAM_VALUE 0 mas->last u64max
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 3
PARAM_VALUE 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_find() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 784588970386345984
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->index 0
PARAM_VALUE 0 mas->last 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
PARAM_VALUE 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_find() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 784588970386345984
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,6,8-u32max
PARAM_VALUE 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 5691979941049311232
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 4096-ptr_max
PARAM_VALUE 1 min 0
LOCK2 rcu_read

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

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 0 mas->status 0,2-3
PARAM_VALUE 1 min 19
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

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 0 mas->status 0,2-3
PARAM_VALUE 1 min 76
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_root_expand() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->index 1
PARAM_VALUE 0 mas->last 1
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 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

lib/test_maple_tree.c check_root_expand() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->index 1
PARAM_VALUE 0 mas->last 1
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 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
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 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
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 1 min 70
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
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 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
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 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
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,2-3
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

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

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

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,2-3
PARAM_VALUE 0 mas->store_type 1-9
PARAM_VALUE 1 min 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->index 5
PARAM_VALUE 0 mas->last 5
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 1-9
PARAM_VALUE 1 min 4
LOCK2 rcu_read

mm/mempolicy.c vma_prev() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 676890446660313088,6390261669419782144
PARAM_VALUE 0 mas->depth 0
PARAM_VALUE 0 mas->end 0
PARAM_VALUE 0 mas->ld_seq 0
PARAM_VALUE 0 mas->mas_flags 0
PARAM_VALUE 0 mas->max 0,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 1 min 0
USER_DATA 0 mas->index 0-u64max
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mlock.c vma_prev() -> mas_prev()

Type Parameter Key Value
PARAM_VALUE 0 mas 5802402509652905984
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
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 1 min 0
USER_DATA 0 mas->index 0,4096-u64max[c]