Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/proc/task_mmu.c get_vma_name() -> vma_is_initial_stack()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm 4096-ptr_max
CAPPED_DATA 0 vma 1
CAPPED_DATA 0 vma->vm_mm->brk 1
DATA_SOURCE 0 vma $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &m->lock

fs/proc/task_mmu.c show_numa_map() -> vma_is_initial_stack()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm 4096-ptr_max
CAPPED_DATA 0 vma->vm_mm->brk 1
DATA_SOURCE 0 vma $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

kernel/events/core.c perf_event_mmap_event() -> vma_is_initial_stack()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm 4096-ptr_max
CAPPED_DATA 0 vma->vm_mm->brk 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->anon_vma->root->rwsem

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_svm.c svm_range_get_range_boundaries() -> vma_is_initial_stack()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm 4096-ptr_max
CAPPED_DATA 0 vma->vm_mm->brk 1
DATA_SOURCE 0 vma r vma_lookup
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mm->mmap_lock
LOCK2 &svms->lock
TYPE_LOCK (struct mm_struct)->mmap_lock
TYPE_LOCK (struct svm_range_list)->lock

security/selinux/hooks.c selinux_file_mprotect() -> vma_is_initial_stack()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm 4096-ptr_max
CAPPED_DATA 0 vma->vm_mm->start_brk 1
DATA_SOURCE 0 vma $0
BIT_INFO 0 vma->vm_flags 0x0,0xfffffffffffffffb