Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

mm/mmap.c check_brk_limits() -> mlock_future_ok()

Type Parameter Key Value
PARAM_VALUE 0 mm->def_vma_flags.__vma_flags 4096-ptr_max
CAPPED_DATA 2 bytes 1
CAPPED_DATA 2 bytes 1
DATA_SOURCE 1 is_vma_locked r vma_flags_test
DATA_SOURCE 2 bytes $1
USER_DATA 2 bytes 0,4096-u64max[c]
NO_OVERFLOW_SIMPLE 2 bytes
UNITS 0 mm unit_byte
UNITS 2 bytes unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c do_mmap() -> mlock_future_ok()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->map_count s32min-65530
PARAM_VALUE 2 bytes 4096-u64max
CAPPED_DATA 2 bytes 1
CAPPED_DATA 2 bytes 1
BIT_INFO 2 bytes 0x0,0xfffffffffffff000
BIT_INFO 2 bytes 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 bytes 4096-u64max[c]
NO_OVERFLOW_SIMPLE 2 bytes
UNITS 0 mm unit_byte
UNITS 2 bytes unit_byte
HALF_LOCKED2 &ctx->ring_lock
HALF_LOCKED2 &mm->mmap_lock

mm/mremap.c check_prep_vma() -> mlock_future_ok()

Type Parameter Key Value
NOSPEC 2 bytes
NOSPEC 2 bytes
USER_DATA 2 bytes 1-u64max[c]
UNITS 0 mm unit_byte
UNITS 2 bytes unit_byte
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/vma.c acct_stack_growth() -> mlock_future_ok()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 2 bytes 0,4096-18446744073709547520
CAPPED_DATA 2 bytes 1
BIT_INFO 2 bytes 0x0,0xfffffffffffff000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 bytes 0,4096-8796093018112[c]
UNITS 0 mm unit_byte
UNITS 2 bytes unit_byte
LOCK2 &vma->anon_vma->root->rwsem
HALF_LOCKED2 &mm->mmap_lock
TYPE_LOCK (struct anon_vma)->rwsem

mm/secretmem.c secretmem_mmap_prepare() -> mlock_future_ok()

Type Parameter Key Value
PARAM_VALUE 1 is_vma_locked 1
DATA_SOURCE 2 bytes r vma_desc_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 bytes 0,4096-2147483648,18446744071562067969-u64max
UNITS 0 mm unit_byte