Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mremap.c move_ptes() -> mremap_folio_pte_batch()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 vma->vm_mm 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->tlb_flush_batched.counter 0-s32max
PARAM_VALUE 1 addr 0-18446744073709551614
PARAM_VALUE 2 ptep 4096-ptr_max
CAPPED_DATA 1 addr 1
CAPPED_DATA 1 addr 1
DATA_SOURCE 3 pte r ptep_get
NOSPEC 1 addr
NOSPEC 1 addr
USER_DATA 1 addr 0-s32max[c]
USER_DATA 4 max_nr 0-s32max[c]
UNITS 1 addr unit_byte
UNITS 4 max_nr unit_page
LOCK2 &mm->mmap_lock
LOCK2 old_ptl
LOCK2 rcu_read
HALF_LOCKED2 &tsk->signal->exec_update_lock
HALF_LOCKED2 new_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock