Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mprotect.c change_pte_range() -> mprotect_folio_pte_batch()

Type Parameter Key Value
PARAM_VALUE 0 folio 0,4096-ptr_max
PARAM_VALUE 1 ptep 4096-ptr_max
PARAM_VALUE 4 flags 0
DATA_SOURCE 2 pte r ptep_get
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ptep 4096-ptr_max[c][u]
USER_DATA 3 max_nr_ptes 0-s32max[c]
UNITS 3 max_nr_ptes unit_page
LOCK2 ptl
HALF_LOCKED2 &dst_mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock

mm/mprotect.c change_pte_range() -> mprotect_folio_pte_batch()

Type Parameter Key Value
PARAM_VALUE 1 ptep 4096-ptr_max
PARAM_VALUE 4 flags 6
DATA_SOURCE 2 pte r ptep_get
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ptep 4096-ptr_max[c][u]
USER_DATA 3 max_nr_ptes 0-s32max[c]
UNITS 3 max_nr_ptes unit_page
LOCK2 ptl
HALF_LOCKED2 &dst_mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock