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:

mm/vma_exec.c vma_iter_prev_range() -> mas_prev_range()

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,2-3
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/vma.c vma_iter_prev_range() -> mas_prev_range()

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