Defined in 1 files as a function:

Referenced in 24 files:

Smatch caller information:

mm/huge_memory.c __split_huge_pmd_locked() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &vma->vm_private_data->rw_sema

mm/userfaultfd.c mfill_atomic_install_pte() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page $3
LOCK2 &state.ctx->map_changing_lock
TYPE_LOCK (struct userfaultfd_ctx)->map_changing_lock

mm/swapfile.c unuse_pte() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->flags.f 0-18446744073709551614
DATA_SOURCE 0 page r folio_file_page
CAPABLE 0 21
LOCK2 &mm->mmap_lock
LOCK2 ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

arch/x86/kernel/alternative.c __text_poke() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 1-u64max
BIT_INFO 1 pgprot 0x0,0x7fffffffffffffff
BIT_INFO 1 pgprot 0x0,0x7fffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
HALF_LOCKED2 global &pack_mutex
HALF_LOCKED2 global &text_mutex

arch/x86/kernel/alternative.c __text_poke() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 1-u64max
BIT_INFO 1 pgprot 0x0,0x7fffffffffffffff
BIT_INFO 1 pgprot 0x0,0x7fffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
HALF_LOCKED2 global &pack_mutex
HALF_LOCKED2 global &text_mutex

mm/ksm.c replace_page() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page $2
LOCK2 &mm->mmap_lock
LOCK2 global &ksm_thread_mutex
LOCK2 ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/migrate_device.c migrate_vma_insert_page() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page r migrate_pfn_to_page
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &drm->dmem->mutex

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

Type Parameter Key Value
BUF_SIZE 0 page (-1),64
BUF_SIZE 0 page (-1),64
RX_PATH
TASK_NOT_RUNNING
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c insert_page_into_pte_locked() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page $3
DATA_SOURCE 1 pgprot $4
RX_PATH
TASK_NOT_RUNNING
UNITS 0 page unit_page
HALF_LOCKED2 pte_lock

mm/memory.c insert_page_into_pte_locked() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page $3
DATA_SOURCE 1 pgprot $4
RX_PATH
TASK_NOT_RUNNING
UNITS 0 page unit_page
HALF_LOCKED2 pte_lock

mm/memory.c restore_exclusive_pte() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 page unit_page
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 dst_ptl
HALF_LOCKED2 rcu_read
HALF_LOCKED2 src_ptl
HALF_LOCKED2 vmf->ptl

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

Type Parameter Key Value
BUF_SIZE 0 page (-1),64
BUF_SIZE 0 page (-1),64
DATA_SOURCE 0 page $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 page unit_page
LOCK2 vmf->ptl
HALF_LOCKED2 rcu_read

kernel/bpf/arena.c apply_range_set_cb() -> mk_pte()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 ptl

kernel/bpf/arena.c apply_range_set_scratch_cb() -> mk_pte()

Type Parameter Key Value
BUF_SIZE 0 page (-1),16,24,32,56,104
BUF_SIZE 0 page (-1),16,24,32,56,104
DATA_SOURCE 0 page $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 page unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 ptl

arch/x86/mm/pat/set_memory.c __split_large_page() -> mk_pte()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pgd_lock
HALF_LOCKED2 global &cpa_lock
HALF_LOCKED2 global &init_mm.mmap_lock
HALF_LOCKED2 global &mem_enc_lock

mm/vmalloc.c vmap_pages_pte_range() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 1-u64max
DATA_SOURCE 1 pgprot $3

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

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

mm/hugetlb_vmemmap.c vmemmap_remap_pte() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 ptl

mm/hugetlb_vmemmap.c vmemmap_remap_pte() -> mk_pte()

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

mm/hugetlb_vmemmap.c vmemmap_restore_pte() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 ptl

mm/hugetlb_vmemmap.c vmemmap_split_pmd() -> mk_pte()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
BIT_INFO 1 pgprot 0x0,0x7fffffffffffffff
BIT_INFO 1 pgprot 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock