Defined in 6 files as a macro:

Defined in 24 files as a function:

Referenced in 43 files:

Smatch caller information:

mm/madvise.c folio_pte_batch_flags() -> pte_write()

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

mm/userfaultfd.c huge_pte_write() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

mm/userfaultfd.c userfaultfd_must_wait() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

arch/x86/mm/fault.c spurious_kernel_fault_check() -> pte_write()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH

fs/proc/task_mmu.c pte_is_pinned() -> pte_write()

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

mm/page_table_check.c __page_table_check_ptes_set() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 old_ptl
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read

mm/page_table_check.c page_table_check_pte_flags() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 old_ptl
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read

mm/rmap.c folio_pte_batch_flags() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock

mm/rmap.c make_device_exclusive() -> pte_write()

Type Parameter Key Value
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/rmap.c page_vma_mkclean_one() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &mapping->i_mmap_rwsem

mm/rmap.c try_to_migrate_one() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r huge_ptep_clear_flush
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock
HALF_LOCKED2 &resv_map->rw_sema
HALF_LOCKED2 &vma->vm_private_data->rw_sema

mm/rmap.c try_to_migrate_one() -> pte_write()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock
HALF_LOCKED2 &resv_map->rw_sema
HALF_LOCKED2 &vma->vm_private_data->rw_sema

mm/util.c folio_pte_batch_flags() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &folio->private->lock
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read

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

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

mm/mprotect.c folio_pte_batch_flags() -> pte_write()

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

mm/hugetlb.c huge_pte_write() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

mm/mremap.c folio_pte_batch_flags() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get

mm/ksm.c write_protect_page() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get
LOCK2 &mm->mmap_lock
LOCK2 global &ksm_thread_mutex
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/ksm.c write_protect_page() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r pte_mkclean
LOCK2 &mm->mmap_lock
LOCK2 global &ksm_thread_mutex
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/migrate_device.c migrate_vma_collect_pmd() -> pte_write()

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

mm/vmscan.c folio_pte_batch_flags() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
DATA_SOURCE 0 pte $4
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_numa_page() -> pte_write()

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_swap_page() -> pte_write()

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

mm/memory.c do_swap_page() -> pte_write()

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

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

Type Parameter Key Value
DATA_SOURCE 0 pte r pte_mkyoung
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 folio_pte_batch_flags() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get
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 follow_pfnmap_start() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get
RX_PATH
TASK_NOT_RUNNING
LOCK2 lock
HALF_LOCKED2 &iommu->lock
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c handle_pte_fault() -> pte_write()

Type Parameter Key Value
BIT_INFO 0 pte 0x0,0x7fffffffffffffff
BIT_INFO 0 pte 0x0,0x7fffffffffffffff
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 numa_rebuild_large_mapping() -> pte_write()

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

mm/memory.c set_pte_range() -> pte_write()

Type Parameter Key Value
PARAM_COMPARE 0 pte == $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 vmf->ptl
HALF_LOCKED2 rcu_read

mm/memory.c wp_page_copy() -> pte_write()

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

mm/gup.c can_follow_write_pte() -> pte_write()

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

mm/gup.c follow_page_pte() -> pte_write()

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

mm/gup.c gup_fast_pte_range() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get_lockless
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read

kernel/events/uprobes.c __uprobe_write() -> pte_write()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &uprobe->register_rwsem

mm/debug_vm_pgtable.c huge_pte_write() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte $0

mm/debug_vm_pgtable.c pte_advanced_tests() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get
HALF_LOCKED2 ptl

mm/debug_vm_pgtable.c pte_advanced_tests() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte r ptep_get
HALF_LOCKED2 ptl

mm/debug_vm_pgtable.c pte_basic_tests() -> pte_write()

Type Parameter Key Value

mm/debug_vm_pgtable.c pte_basic_tests() -> pte_write()

Type Parameter Key Value

mm/debug_vm_pgtable.c pte_basic_tests() -> pte_write()

Type Parameter Key Value

mm/debug_vm_pgtable.c pte_basic_tests() -> pte_write()

Type Parameter Key Value

mm/debug_vm_pgtable.c pte_basic_tests() -> pte_write()

Type Parameter Key Value

mm/migrate.c remove_migration_pte() -> pte_write()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock

mm/mapping_dirty_helpers.c wp_pte() -> pte_write()

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

mm/hmm.c pte_to_hmm_pfn_flags() -> pte_write()

Type Parameter Key Value
DATA_SOURCE 0 pte $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read