Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mremap.c move_page_tables() -> try_realign_addr()

Type Parameter Key Value
PARAM_VALUE 0 pmc 1016061542086041600,7617151382977015808,8578329982637838336
PARAM_VALUE 0 pmc->len_in 1-u64max
PARAM_VALUE 0 pmc->new 1-u64max
PARAM_VALUE 0 pmc->old 4096-ptr_max
PARAM_VALUE 0 pmc->old->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 1 pagetable_mask 18446744073707454464
DATA_SOURCE 0 pmc $0
NOSPEC 0 pmc->len_in
NOCHECK_CALL
USER_DATA 0 pmc->len_in 1-u64max[c]
USER_DATA 0 pmc->new_addr 0-u64max
USER_DATA 0 pmc->old_addr 0-u64max
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock
TYPE_LOCK (struct mm_struct)->mmap_lock