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:

fs/proc/task_mmu.c vma_iter_invalidate() -> mas_pause()

Type Parameter Key Value
PARAM_VALUE 0 mas 7388946520259604480
PARAM_VALUE 0 mas->status 0,2-3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
LOCK2 &priv->lock_ctx.mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock
TYPE_LOCK (struct seq_file)->lock

mm/mremap.c vma_iter_invalidate() -> mas_pause()

Type Parameter Key Value
PARAM_VALUE 0 mas 2313242306435420160
PARAM_VALUE 0 mas->status 0,2-3
NOCHECK_CALL
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_iter_invalidate() -> mas_pause()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->node_request 0-1
PARAM_VALUE 0 mas->status 0,2-3,5-u32max
PARAM_VALUE 0 mas->store_type 0-9
NOSPEC 0 mas->index
NOSPEC 0 mas->last
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mas->index 0-u64max[c]
USER_DATA 0 mas->last 0-u64max
HALF_LOCKED2 &mm->mmap_lock

drivers/base/regmap/regcache-maple.c regcache_maple_sync_block() -> mas_pause()

Type Parameter Key Value
PARAM_VALUE 0 mas 7818851836219871232
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->index 0-u32max
PARAM_VALUE 0 mas->last 0-u32max
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0,2-4
DATA_SOURCE 0 mas $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 map->lock_arg
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 mas 784588970386345984
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0,2-3
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 784588970386345984
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0,2-3
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->sheaf 0
PARAM_VALUE 0 mas->status 0,2-3
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &(&mas)->tree->ma_lock