Defined in 2 files as a prototype:

Defined in 2 files as a macro:

Defined in 3 files as a function:

Referenced in 4 files:

Smatch caller information:

mm/huge_memory.c change_huge_pmd() -> pmd_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
DATA_SOURCE 1 vma $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 vma->vm_start 1-u64max[c]
NO_OVERFLOW_SIMPLE 1 vma->vm_end
NO_OVERFLOW_SIMPLE 1 vma->vm_file->f_mapping->host->i_size
NO_OVERFLOW_SIMPLE 1 vma->vm_start
HALF_LOCKED2 &dst_mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock

mm/huge_memory.c do_huge_pmd_numa_page() -> pmd_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
DATA_SOURCE 0 pmd r pmd_mkyoung
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

mm/huge_memory.c do_huge_pmd_uffd_rwp() -> pmd_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
DATA_SOURCE 0 pmd r pmd_mkyoung
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

mm/huge_memory.c maybe_pmd_mkwrite() -> pmd_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
BUF_SIZE 1 vma (-1),1-s32max
BUF_SIZE 1 vma (-1),1-s32max
DATA_SOURCE 0 pmd $0
DATA_SOURCE 1 vma $1
BIT_INFO 1 vma->vm_flags 0x2,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 vma->vm_end
NO_OVERFLOW_SIMPLE 1 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 1 vma->vm_start
HALF_LOCKED2 vmf->ptl

mm/huge_memory.c move_pages_huge_pmd() -> pmd_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
CAPPED_DATA 1 vma->vm_userfaultfd_ctx.ctx 1
DATA_SOURCE 1 vma $4
BIT_INFO 1 vma->vm_flags 0x0,0xfffffffffffffff7
LOCK2 &ctx->map_changing_lock
TYPE_LOCK (struct userfaultfd_ctx)->map_changing_lock

mm/huge_memory.c remove_migration_pmd() -> pmd_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 vma unit_byte
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock

mm/migrate_device.c migrate_vma_insert_huge_pmd_page() -> pmd_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
CAPPED_DATA 1 vma 1
CAPPED_DATA 1 vma->vm_start 1
BIT_INFO 1 vma->vm_flags 0x2,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 vma->vm_end
NO_OVERFLOW_SIMPLE 1 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 1 vma->vm_policy->mode
HALF_LOCKED2 &drm->dmem->mutex

mm/debug_vm_pgtable.c pmd_advanced_tests() -> pmd_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
DATA_SOURCE 0 pmd r pmd_mkclean
PREEMPT_ADD

mm/debug_vm_pgtable.c pmd_basic_tests() -> pmd_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max

mm/debug_vm_pgtable.c pmd_basic_tests() -> pmd_mkwrite()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
DATA_SOURCE 0 pmd r pfn_pmd