Documented in 1 files:
Defined in 1 files as a function:
Referenced in 17 files:
- drivers/gpu/drm/drm_gem.c, line 701
- drivers/gpu/drm/ttm/ttm_backup.c
- fs/btrfs/verity.c, line 772
- fs/erofs/data.c
- fs/f2fs/gc.c, line 1416
- fs/ntfs3/frecord.c, line 1906
- fs/verity/pagecache.c, line 27
- kernel/events/uprobes.c, line 396
- lib/iov_iter.c
- mm/filemap.c
- mm/folio-compat.c, line 85
- mm/memory.c, line 4999
- mm/secretmem.c, line 103
- mm/shmem.c
- mm/swapfile.c
- mm/userfaultfd.c, line 714
- virt/kvm/guest_memfd.c
Smatch caller information:
fs/btrfs/verity.c btrfs_read_merkle_tree_page() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| DATA_SOURCE | 1 | index | $1 |
| NOSPEC | 1 | index | |
| NOSPEC | 1 | index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | index | 0-2251799814209534[c] |
| UNITS | 1 | index | unit_page |
lib/iov_iter.c iov_iter_extract_xarray_pages() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 1-1025,1027-1029,1031-u64max |
| CAPPED_DATA | 0 | folio | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &tls_ctx->tx_lock | ||
| HALF_LOCKED2 | sk |
lib/iov_iter.c iter_xarray_populate_pages() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 1-1025,1027-1029,1031-u64max |
| CAPPED_DATA | 0 | folio | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | index | unit_page |
| LOCK2 | rcu_read |
arch/x86/kvm/../../../virt/kvm/guest_memfd.c kvm_gmem_fault_user_mapping() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| DATA_SOURCE | 0 | folio | r kvm_gmem_get_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | index | 0-4503599627370495 |
| UNITS | 1 | index | unit_page |
arch/x86/kvm/../../../virt/kvm/guest_memfd.c kvm_gmem_get_pfn() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| DATA_SOURCE | 0 | folio | r __kvm_gmem_get_pfn |
| DATA_SOURCE | 1 | index | r kvm_gmem_get_index |
| HALF_LOCKED2 | _T->lock |
mm/userfaultfd.c mfill_atomic_pte_continue() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->swap.val | 0 |
| PARAM_VALUE | 1 | index | 0-2251799813685247 |
| CAPPED_DATA | 1 | index | 1 |
| CAPPED_DATA | 1 | index | 1 |
| DATA_SOURCE | 1 | index | r linear_page_index |
| LOCK2 | &state.ctx->map_changing_lock | ||
| TYPE_LOCK | (struct userfaultfd_ctx)->map_changing_lock |
drivers/gpu/drm/ttm/ttm_backup.c ttm_backup_backup_folio() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | *folio->_mm_id | 0-4294967295 |
| PARAM_VALUE | 1 | index | 0-8589934587 |
| CAPPED_DATA | 1 | index | 1 |
| DATA_SOURCE | 0 | folio | r shmem_read_folio_gfp |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | index | unit_page |
| HALF_LOCKED2 | global &bch_register_lock |
drivers/gpu/drm/ttm/ttm_backup.c ttm_backup_copy_page() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-2251799813685247 |
| CAPPED_DATA | 1 | index | 1 |
| CAPPED_DATA | 1 | index | 1 |
| DATA_SOURCE | 0 | folio | r shmem_read_folio_gfp |
| DATA_SOURCE | 1 | index | r ttm_backup_handle_to_shmem_idx |
| BIT_INFO | 1 | index | 0x0,0x7fffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/swapfile.c unuse_pte() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-288230376151711743 |
| DATA_SOURCE | 0 | folio | $4 [m] |
| CAPABLE | 0 | 21 | |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/swapfile.c unuse_pte() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-288230376151711743 |
| CAPPED_DATA | 0 | folio | 1 |
| CAPABLE | 0 | 21 | |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
fs/f2fs/gc.c move_data_block() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 1-1025,1027-1029,1031-ptr_max |
| PARAM_VALUE | 1 | index | 1-u32max |
| CAPPED_DATA | 1 | index | 1 |
| DATA_SOURCE | 0 | folio | r f2fs_grab_cache_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | index | unit_page |
| LOCK2 | &sbi->gc_lock.internal_rwsem | ||
| HALF_LOCKED2 | &fio.sbi->io_order_lock.internal_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_global_sem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->pin_sem.internal_rwsem |
fs/ntfs3/frecord.c ntfs_lock_new_page() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| DATA_SOURCE | 0 | folio | r __filemap_get_folio |
| DATA_SOURCE | 1 | index | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| UNITS | 1 | index | unit_page |
mm/shmem.c shmem_fault() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-2251799813685247 |
| CAPPED_DATA | 1 | index | 1 |
| CAPPED_DATA | 1 | index | 1 |
| NOSPEC | 1 | index | |
| NOSPEC | 1 | index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | index | 0-2251799813685247[c] |
| UNITS | 1 | index | unit_page |
mm/shmem.c shmem_file_read_iter() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->swap.val | 0 |
| PARAM_VALUE | 1 | index | 0-2251799813685247 |
| CAPPED_DATA | 1 | index | 1 |
| CAPPED_DATA | 1 | index | 1 |
| NOSPEC | 1 | index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | index | 0-3281848[c] |
| UNITS | 1 | index | unit_page |
| HALF_LOCKED2 | &pool->lock |
mm/shmem.c shmem_file_splice_read() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->swap.val | 0 |
| PARAM_VALUE | 1 | index | 0-2251799813685247 |
| CAPPED_DATA | 1 | index | 1 |
| CAPPED_DATA | 1 | index | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | index | 0-3281850[c] |
| UNITS | 1 | index | unit_page |
mm/shmem.c shmem_read_mapping_page_gfp() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-2251799813685247 |
| CAPPED_DATA | 1 | index | 1 |
| CAPPED_DATA | 1 | index | 1 |
| DATA_SOURCE | 0 | folio | r shmem_read_folio_gfp |
| DATA_SOURCE | 1 | index | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | index | |
| HALF_LOCKED2 | &uprobe->consumer_rwsem | ||
| HALF_LOCKED2 | __flags | ||
| HALF_LOCKED2 | bo->base.base.resv |
mm/secretmem.c secretmem_fault() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 1-1025,1027-1029,1031-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | index | 0-4503599627370495 |
| UNITS | 1 | index | unit_page |
| LOCK2 | &mapping->invalidate_lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
mm/filemap.c do_read_cache_page() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| DATA_SOURCE | 0 | folio | r do_read_cache_folio |
| DATA_SOURCE | 1 | index | $1 |
| NOSPEC | 1 | index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | index | 0-1292716[c] |
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | index | 0-2251799813685247,18444492273895866368-u64max |
| UNITS | 1 | index | unit_page |
| HALF_LOCKED2 | &mapping->invalidate_lock |
mm/filemap.c filemap_fault() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->_deferred_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->_deferred_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->page.zone_device_data->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | folio->pgmap->ref.data | 0,4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-18446744073709551614 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| CAPPED_DATA | 1 | index | 1 |
| CAPPED_DATA | 1 | index | 1 |
| NOSPEC | 1 | index | |
| NOSPEC | 1 | index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | index | 0-s32max[c] |
| UNITS | 1 | index | unit_page |
mm/filemap.c filemap_map_pmd() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->page._refcount.counter | 0-s32max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| DATA_SOURCE | 1 | index | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | index | 0-9007199254741501,18446744073709551105-u64max |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/folio-compat.c pagecache_get_page() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 1-1025,1027-1029,1031-ptr_max |
| DATA_SOURCE | 0 | folio | r __filemap_get_folio |
| DATA_SOURCE | 1 | index | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| UNITS | 1 | index | unit_page |
| HALF_LOCKED2 | &inode->i_rwsem |
mm/memory.c do_swap_page() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-288230376151711743 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock |
drivers/gpu/drm/drm_gem.c drm_gem_get_pages() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| DATA_SOURCE | 0 | folio | r shmem_read_folio_gfp |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | index | unit_array_size |
| HALF_LOCKED2 | &etnaviv_obj->lock | ||
| HALF_LOCKED2 | &omap_obj->lock | ||
| HALF_LOCKED2 | obj->resv |
fs/verity/pagecache.c generic_read_merkle_tree_page() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| DATA_SOURCE | 0 | folio | r read_mapping_folio |
| DATA_SOURCE | 1 | index | $1 |
| NOSPEC | 1 | index | |
| NOSPEC | 1 | index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | index | 0-2251799814209534[c] |
fs/erofs/data.c erofs_bread() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | index | 0-4503599627370495 |
| DATA_SOURCE | 0 | folio | r _compound_head |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | index | 0-4503599627370495[c] |
| UNITS | 1 | index | unit_page |
fs/erofs/data.c erofs_bread() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-4503599627370495 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | index | 0-4503599627370495[c] |
| UNITS | 1 | index | unit_page |
kernel/events/uprobes.c orig_page_is_identical() -> folio_file_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 1-1025,1027-1029,1031-ptr_max |
| PARAM_VALUE | 1 | index | 0-2251799813685247,18444492273895866368-u64max |
| CAPPED_DATA | 1 | index | 1 |
| CAPPED_DATA | 1 | index | 1 |
| DATA_SOURCE | 0 | folio | r filemap_get_folio |
| BIT_INFO | 1 | index | 0x0,0x7ffffffffffff |
| BIT_INFO | 1 | index | 0x0,0x7ffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | index | 0-2251799813685247[c] |
| UNITS | 1 | index | unit_page |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &uprobe->register_rwsem |