Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/rmap.c rmap_walk_anon() -> anon_rmap_tree_iter_next()

Type Parameter Key Value
PARAM_VALUE 0 avc 4096-ptr_max
PARAM_VALUE 0 avc->vma 4096-ptr_max
CAPPED_DATA 1 pgoff_start 1
CAPPED_DATA 1 pgoff_start 1
DATA_SOURCE 1 pgoff_start r folio_pgoff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

mm/ksm.c collect_procs_ksm() -> anon_rmap_tree_iter_next()

Type Parameter Key Value
PARAM_VALUE 0 avc 4096-ptr_max
PARAM_VALUE 0 avc->vma 4096-ptr_max
CAPPED_DATA 1 pgoff_start 1
CAPPED_DATA 1 pgoff_start 1
CAPPED_DATA 2 pgoff_last 1
CAPPED_DATA 2 pgoff_last 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &av->root->rwsem
LOCK2 global &mf_mutex
LOCK2 rcu_read
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct anon_vma)->rwsem

mm/ksm.c rmap_walk_ksm() -> anon_rmap_tree_iter_next()

Type Parameter Key Value
PARAM_VALUE 0 avc 4096-ptr_max
PARAM_VALUE 0 avc->vma 4096-ptr_max
CAPPED_DATA 1 pgoff_start 1
CAPPED_DATA 1 pgoff_start 1
CAPPED_DATA 2 pgoff_last 1
CAPPED_DATA 2 pgoff_last 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct anon_vma)->rwsem

mm/memory-failure.c collect_procs_anon() -> anon_rmap_tree_iter_next()

Type Parameter Key Value
PARAM_VALUE 0 avc 4096-ptr_max
PARAM_VALUE 0 avc->vma 4096-ptr_max
CAPPED_DATA 1 pgoff_start 1
CAPPED_DATA 1 pgoff_start 1
CAPPED_DATA 2 pgoff_last 1
CAPPED_DATA 2 pgoff_last 1
DATA_SOURCE 1 pgoff_start r page_pgoff
DATA_SOURCE 2 pgoff_last r page_pgoff
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &mf_mutex
LOCK2 rcu_read
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock