Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

mm/vma_exec.c create_init_stack_vma() -> vma_set_anonymous()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_ops 6756087424609792000
DATA_SOURCE 0 vma r vm_area_alloc
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/vma.c __mmap_new_vma() -> vma_set_anonymous()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_ops 6756087424609792000
DATA_SOURCE 0 vma r vm_area_alloc
NOCHECK_CALL

mm/vma.c do_brk_flags() -> vma_set_anonymous()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_ops 6756087424609792000
DATA_SOURCE 0 vma r vm_area_alloc
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock