Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/mprotect.c prot_none_hugetlb_entry() -> pfn_modify_allowed()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-1099511627775
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &mapping->i_mmap_rwsem

mm/mprotect.c prot_none_pte_entry() -> pfn_modify_allowed()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-1099511627775
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 ptl

mm/memory.c __vm_insert_mixed() -> pfn_modify_allowed()

Type Parameter Key Value
DATA_SOURCE 0 pfn $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pfn 0-9007199254740990[c]
UNITS 0 pfn unit_page

mm/memory.c remap_pte_range() -> pfn_modify_allowed()

Type Parameter Key Value
DATA_SOURCE 0 pfn $4 [m]
DATA_SOURCE 1 prot $5
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pfn 0-31525201686560759
UNITS 0 pfn unit_page
LOCK2 ptl

mm/memory.c vmf_insert_pfn_prot() -> pfn_modify_allowed()

Type Parameter Key Value
DATA_SOURCE 0 pfn $2
DATA_SOURCE 1 prot $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pfn 0-9007199523176445[c]
UNITS 0 pfn unit_page
HALF_LOCKED2 &ptdev->pm.mmio_lock
HALF_LOCKED2 global &drm_unplug_srcu