Defined in 1 files as a prototype:

Defined in 4 files as a function:

Referenced in 7 files:

Smatch caller information:

fs/coredump.c always_dump_vma() -> get_gate_vma()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

fs/coredump.c dump_vma_snapshot() -> get_gate_vma()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
LOCK2 0 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

arch/x86/mm/init_64.c mem_init() -> get_gate_vma()

Type Parameter Key Value
PARAM_VALUE 0 mm 7138969414219841536
LOCK2 irq

arch/x86/entry/vsyscall/vsyscall_64.c in_gate_area() -> get_gate_vma()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
BUF_SIZE 0 mm s32min-(-1),1-s32max
BUF_SIZE 0 mm s32min-(-1),1-s32max
DATA_SOURCE 0 mm $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
HALF_LOCKED2 0 &mm->mmap_lock

fs/proc/task_mmu.c m_start() -> get_gate_vma()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
LOCK2 rcu_read
TYPE_LOCK (struct seq_file)->lock

fs/proc/task_mmu.c proc_get_vma() -> get_gate_vma()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &mm->mmap_lock
TYPE_LOCK (struct seq_file)->lock

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

fs/proc/task_mmu.c smap_gather_stats() -> get_gate_vma()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
HALF_LOCKED2 0 &mm->mmap_lock
TYPE_LOCK (struct seq_file)->lock

mm/vma.c vma_supports_mlock() -> get_gate_vma()

Type Parameter Key Value
UNITS 0 mm unit_byte

mm/vmscan.c should_skip_vma() -> get_gate_vma()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte

mm/gup.c get_gate_page() -> get_gate_vma()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
BUF_SIZE 0 mm s32min-(-1),1-s32max
BUF_SIZE 0 mm s32min-(-1),1-s32max
DATA_SOURCE 0 mm $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
LOCK2 rcu_read
HALF_LOCKED2 0 &mm->mmap_lock

mm/mlock.c vma_supports_mlock() -> get_gate_vma()

Type Parameter Key Value
UNITS 0 mm unit_byte