Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/rmap.c mapping_wrprotect_range_one() -> page_vma_mkclean_one()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 6787786523712745472
PARAM_VALUE 0 pvmw->flags 1
PARAM_VALUE 0 pvmw->nr_pages 1
PARAM_VALUE 0 pvmw->pgoff 0-4503599627370495
PARAM_VALUE 0 pvmw->pgoff_is_anon 0
PARAM_VALUE 0 pvmw->pmd 0
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 0
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock

mm/rmap.c page_mkclean_one() -> page_vma_mkclean_one()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 483500991638196224
PARAM_VALUE 0 pvmw->flags 1
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pfn 0-12384898975264768,12384898975268864,9223396226110586880-u64max
PARAM_VALUE 0 pvmw->pmd 0
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 0
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock

mm/rmap.c pfn_mkclean_range() -> page_vma_mkclean_one()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4272906721877729280
PARAM_VALUE 0 pvmw->address 0-18446744073709551601,18446744073709551603-u64max
PARAM_VALUE 0 pvmw->flags 1
PARAM_VALUE 0 pvmw->nr_pages 1,512
PARAM_VALUE 0 pvmw->pfn 0-576460752303423487
PARAM_VALUE 0 pvmw->pgoff_is_anon 0
PARAM_VALUE 0 pvmw->pmd 0
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 0
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 &mapping->i_mmap_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
TYPE_LOCK (struct address_space)->i_mmap_rwsem