Defined in 3 files as a function:

Referenced in 5 files:

Smatch caller information:

mm/rmap.c native_pte_clear() -> native_set_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 4096-ptr_max
DATA_SOURCE 0 ptep $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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/mremap.c native_pte_clear() -> native_set_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 4096-ptr_max
DATA_SOURCE 0 ptep $2
NOCHECK_CALL
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 native_pte_clear() -> native_set_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 4096-ptr_max
DATA_SOURCE 0 ptep $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock

arch/x86/boot/startup/sme.c sme_populate_pgd() -> native_set_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 4096-ptr_max
DATA_SOURCE 0 ptep r pte_offset_kernel
NOCHECK_CALL

mm/debug_vm_pgtable.c native_pte_clear() -> native_set_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 4096-ptr_max
DATA_SOURCE 0 ptep $2
NOCHECK_CALL
HALF_LOCKED2 ptl

mm/khugepaged.c native_pte_clear() -> native_set_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 4096-ptr_max
DATA_SOURCE 0 ptep $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ptep 4096-ptr_max[c]
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read

arch/x86/xen/mmu_pv.c xen_set_pte_init() -> native_set_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 0-4295428656365969407,4295428656365973504-u64max
DATA_SOURCE 0 ptep $0
DATA_SOURCE 1 pte $1
NOCHECK_CALL