Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/madvise.c madvise_free_pte_range() -> swap_pte_batch()

Type Parameter Key Value
PARAM_VALUE 0 start_ptep 4096-ptr_max
DATA_SOURCE 2 pte r ptep_get
RX_PATH
TASK_NOT_RUNNING
UNITS 1 max_nr unit_page
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c can_swapin_thp() -> swap_pte_batch()

Type Parameter Key Value
PARAM_VALUE 0 start_ptep 4096-ptr_max
DATA_SOURCE 0 start_ptep $1
DATA_SOURCE 1 max_nr $2
DATA_SOURCE 2 pte r ptep_get
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock

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

Type Parameter Key Value
PARAM_VALUE 0 start_ptep 4096-ptr_max
DATA_SOURCE 1 max_nr r folio_nr_pages
DATA_SOURCE 2 pte r ptep_get
RX_PATH
TASK_NOT_RUNNING
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c zap_nonpresent_ptes() -> swap_pte_batch()

Type Parameter Key Value
DATA_SOURCE 0 start_ptep $2
DATA_SOURCE 1 max_nr $4
DATA_SOURCE 2 pte $3
RX_PATH
TASK_NOT_RUNNING
UNITS 1 max_nr unit_page
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock