Defined in 4 files as a function:

Referenced in 6 files:

Smatch caller information:

mm/mprotect.c change_present_ptes() -> pte_clear_uffd()

Type Parameter Key Value
DATA_SOURCE 0 pte r pte_modify
RX_PATH
TASK_NOT_RUNNING
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock

mm/hugetlb.c huge_pte_clear_uffd() -> pte_clear_uffd()

Type Parameter Key Value
DATA_SOURCE 0 pte $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->i_mmap_rwsem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 &vma->vm_file->f_mapping->i_mmap_rwsem
HALF_LOCKED2 src_ptl

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

Type Parameter Key Value
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

mm/memory.c __copy_present_ptes() -> pte_clear_uffd()

Type Parameter Key Value
DATA_SOURCE 0 pte $4 [m]
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 dst_ptl
LOCK2 rcu_read
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/memory.c do_uffd_rwp() -> pte_clear_uffd()

Type Parameter Key Value
DATA_SOURCE 0 pte r pte_modify
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

mm/memory.c do_wp_page() -> pte_clear_uffd()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 rcu_read