Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/mmap.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 5394055068851789824
PARAM_VALUE 2 addr 0,4096-u64max
CAPPED_DATA 2 addr 1
CAPPED_DATA 2 addr 1
DATA_SOURCE 2 addr $2
BIT_INFO 2 addr 0x0,0xfffffffffffff000
BIT_INFO 2 addr 0x0,0xfffffffffffff000
NOCHECK_CALL
USER_DATA 2 addr 0,4096-u64max[c]
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 1467127174713044992,7310982813862457344
PARAM_VALUE 2 addr 0-18446744073709551614
CAPPED_DATA 2 addr 1
CAPPED_DATA 2 addr 1
DATA_SOURCE 2 addr $2
NOSPEC 2 addr
NOSPEC 2 addr
NOCHECK_CALL
USER_DATA 2 addr 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 2 addr
UNITS 2 addr unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

fs/proc/base.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 5497999249689317376
PARAM_VALUE 2 addr 0
DATA_SOURCE 2 addr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct mm_struct)->mmap_lock

fs/proc/task_mmu.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
DATA_SOURCE 2 addr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 addr 0-u64max
UNITS 2 addr unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &m->lock

mm/mprotect.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 6391229382859632640
PARAM_VALUE 2 addr 0-18446744073709551614
CAPPED_DATA 2 addr 1
CAPPED_DATA 2 addr 1
DATA_SOURCE 2 addr $2
BIT_INFO 2 addr 0x0,0xfffffffffffff000
BIT_INFO 2 addr 0x0,0xfffffffffffff000
NOSPEC 2 addr
NOSPEC 2 addr
NOCHECK_CALL
USER_DATA 2 addr 0-18446744073709551614[c]

mm/ksm.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 2193323917388951552
DATA_SOURCE 2 addr $2
NOCHECK_CALL
UNITS 2 addr unit_byte
LOCK2 global &ksm_thread_mutex

mm/vma.c __mmap_setup() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 5695852749483675896
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->depth 0
PARAM_VALUE 0 mas->end 0
PARAM_VALUE 0 mas->index 0
PARAM_VALUE 0 mas->last 0
PARAM_VALUE 0 mas->ld_seq 0
PARAM_VALUE 0 mas->mas_flags 0
PARAM_VALUE 0 mas->max 0
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 0
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 1 tree 5695852749483675984
PARAM_VALUE 1 tree->ma_external_lock 0
PARAM_VALUE 1 tree->ma_flags 0,256-768
PARAM_VALUE 1 tree->ma_root 0
PARAM_VALUE 2 addr 0
NOCHECK_CALL

mm/vma.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 4389191866332532736
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-1,3,5,8-u32max
PARAM_VALUE 0 mas->store_type 0
PARAM_VALUE 2 addr 0
DATA_SOURCE 2 addr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mm_all_locks_mutex
HALF_LOCKED2 &cli->mutex
HALF_LOCKED2 &mm->mmap_lock

kernel/sched/fair.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 246989008896827392
DATA_SOURCE 2 addr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 addr unit_byte
LOCK2 &mm->mmap_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mempolicy.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 6390261669419782144
CAPPED_DATA 2 addr 1
CAPPED_DATA 2 addr 1
DATA_SOURCE 2 addr $2
BIT_INFO 2 addr 0x0,0xfffffffffffff000
BIT_INFO 2 addr 0x0,0xfffffffffffff000
NOCHECK_CALL
USER_DATA 2 addr 0-u64max[c]
NO_OVERFLOW_SIMPLE 2 addr
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

kernel/bpf/task_iter.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 7318298409367031808
DATA_SOURCE 2 addr $2
NOCHECK_CALL
UNITS 2 addr unit_byte
LOCK2 rcu_read

mm/khugepaged.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 8723560090998607872
PARAM_VALUE 2 addr 0
DATA_SOURCE 2 addr $2
NOCHECK_CALL
UNITS 2 addr unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

fs/exec.c vma_iter_init() -> mas_init()

Type Parameter Key Value
PARAM_VALUE 0 mas 5985223385738014720
DATA_SOURCE 2 addr $2
NOCHECK_CALL
UNITS 2 addr unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &tsk->signal->exec_update_lock
TYPE_LOCK (struct mm_struct)->mmap_lock