Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

lib/maple_tree.c mt_next() -> mas_next()

Type Parameter Key Value
PARAM_VALUE 0 mas 6795785960606089216
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
DATA_SOURCE 1 max $2
LOCK2 rcu_read

mm/vma.c vms_gather_munmap_vmas() -> mas_next()

Type Parameter Key Value
PARAM_VALUE 0 mas 4049897374273449984
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,8-u32max
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 1 max 0-s32max,18446744071562067968-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

lib/test_maple_tree.c check_gap_combining() -> mas_next()

Type Parameter Key Value
PARAM_VALUE 0 mas 1261997500507176960
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 max u64max
NOCHECK_CALL
LOCK2 rcu_read

lib/test_maple_tree.c check_gap_combining() -> mas_next()

Type Parameter Key Value
PARAM_VALUE 0 mas 1261997500507176960
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 max u64max
LOCK2 rcu_read

lib/test_maple_tree.c check_gap_combining() -> mas_next()

Type Parameter Key Value
PARAM_VALUE 0 mas 1261997500507176960
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 max u64max
LOCK2 rcu_read

lib/test_maple_tree.c check_gap_combining() -> mas_next()

Type Parameter Key Value
PARAM_VALUE 0 mas 1261997500507176960
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 max u64max
NOCHECK_CALL
LOCK2 rcu_read

lib/test_maple_tree.c check_next_entry() -> mas_next()

Type Parameter Key Value
PARAM_VALUE 0 mas 3048520716019109888
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 max 30
LOCK2 rcu_read

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

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 max u64max
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

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 max u64max
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

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 max 1000
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

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

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 max 1000
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

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 max 1000
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

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 max 1000
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

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 max 1000
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

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
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

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
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

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

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 max u64max
PREEMPT_ADD <- disables preempt
LOCK2 &(&mas)->tree->ma_lock

mm/execmem.c execmem_cache_add_locked() -> mas_next()

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,2-3
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 0 mas->tree 2921702223833034992
PARAM_VALUE 1 max u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 mutex