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_first()

Type Parameter Key Value
PARAM_VALUE 0 anon_vma 1-u64max
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_first()

Type Parameter Key Value
PARAM_VALUE 0 anon_vma 4096-ptr_max
PARAM_VALUE 0 anon_vma->root 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &mf_mutex
LOCK2 rcu_read
LOCK2 0 &anon_vma->root->rwsem
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_first()

Type Parameter Key Value
PARAM_VALUE 0 anon_vma 4096-ptr_max
PARAM_VALUE 0 anon_vma->root 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &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_first()

Type Parameter Key Value
PARAM_VALUE 0 anon_vma 1-u64max
PARAM_VALUE 0 anon_vma->root 4096-ptr_max
PARAM_VALUE 0 anon_vma->root->rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 anon_vma->root->rwsem.first_waiter->type 0-1
CAPPED_DATA 0 anon_vma->root 1
DATA_SOURCE 0 anon_vma r folio_lock_anon_vma_read
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