Documented in 1 files:

Defined in 1 files as a function:

Referenced in 17 files:

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