Defined in 2 files as a function:

Referenced in 14 files:

Smatch caller information:

mm/mmap.c __do_sys_brk() -> vm_start_gap()

Type Parameter Key Value
PARAM_VALUE 0 vma 1-u64max
DATA_SOURCE 0 vma r vma_find
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c __do_sys_brk() -> vm_start_gap()

Type Parameter Key Value
PARAM_VALUE 0 vma 1-u64max
DATA_SOURCE 0 vma r vma_find
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c generic_get_unmapped_area() -> vm_start_gap()

Type Parameter Key Value
PARAM_VALUE 0 vma 1-u64max
DATA_SOURCE 0 vma r find_vma_prev

mm/mmap.c generic_get_unmapped_area_topdown() -> vm_start_gap()

Type Parameter Key Value
PARAM_VALUE 0 vma 1-u64max
DATA_SOURCE 0 vma r find_vma_prev

arch/x86/kernel/sys_x86_64.c arch_get_unmapped_area() -> vm_start_gap()

Type Parameter Key Value
PARAM_VALUE 0 vma 1-u64max
DATA_SOURCE 0 vma r find_vma
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/sys_x86_64.c arch_get_unmapped_area_topdown() -> vm_start_gap()

Type Parameter Key Value
PARAM_VALUE 0 vma 1-u64max
DATA_SOURCE 0 vma r find_vma
RX_PATH
TASK_NOT_RUNNING

mm/vma.c unmapped_area() -> vm_start_gap()

Type Parameter Key Value
PARAM_VALUE 0 vma 1-u64max
DATA_SOURCE 0 vma r vma_next
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c unmapped_area_topdown() -> vm_start_gap()

Type Parameter Key Value
PARAM_VALUE 0 vma 1-u64max
DATA_SOURCE 0 vma r vma_next
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c unmapped_area_topdown() -> vm_start_gap()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
DATA_SOURCE 0 vma r vma_next
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock