Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 28 files:

Smatch caller information:

drivers/usb/gadget/function/f_mass_storage.c invalidate_sub() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
LOCK2 &common->filesem
TYPE_LOCK (struct fsg_common)->filesem

fs/inode.c inode_lru_isolate() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->i_pages.xa_head 1-u64max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
RX_PATH
TASK_NOT_RUNNING

fs/f2fs/inode.c f2fs_post_evict_inode() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 1-u64max
PARAM_VALUE 2 end 1-u64max
NOCHECK_CALL

fs/f2fs/inode.c f2fs_post_evict_inode() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 1-u32max
PARAM_VALUE 2 end 1-u32max
NOCHECK_CALL
UNITS 1 start unit_byte
UNITS 2 end unit_byte

drivers/mtd/devices/block2mtd.c block2mtd_free_device() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/drop_caches.c drop_pagecache_sb() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &system_transition_mutex

fs/ceph/caps.c try_nonblocking_invalidate() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ci->i_ceph_lock

fs/nilfs2/btnode.c nilfs_btnode_cache_clear() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
DATA_SOURCE 0 mapping $0
CAPABLE 0 21
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mapping->host->i_bytes

fs/ext2/file.c ext2_dio_write_iter() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mapping->host->i_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->fh_to_parent 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 1 start 0-2251799813685247,18444492273895866368-u64max
PARAM_VALUE 2 end 0-2251799813685247,18444492273895866368-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 start 0-2251799813685247,18444492273895866368-u64max[c]
USER_DATA 2 end 0-2251799813685247,18444492273895866368-u64max
UNITS 1 start unit_page
UNITS 2 end unit_page
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/btrfs/direct-io.c btrfs_direct_write() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0-2251799813685247,18444492273895866368-u64max
PARAM_VALUE 2 end 0-2251799813685247,18444492273895866368-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 start 0-2251799813685247,18444492273895866368-u64max
USER_DATA 2 end 0-2251799813685247,18444492273895866368-u64max
UNITS 1 start unit_page
UNITS 2 end unit_page
HALF_LOCKED2 &pool->lock

fs/btrfs/relocation.c do_nonremap_reloc() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
NOCHECK_CALL

block/bdev.c invalidate_bdev() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->nrpages 1-u64max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cd->lock
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &lo->lo_mutex

fs/erofs/sysfs.c erofs_attr_store() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/md/md-bitmap.c md_bitmap_file_unmap() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/exfat/file.c exfat_fallback_buffered_write() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->host 4096-ptr_max
PARAM_VALUE 0 mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->fh_to_parent 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 start 0-2251799813685247,18444492273895866368-u64max
PARAM_VALUE 2 end 0-2251799813685247,18444492273895866368-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 start 0-2251799813685247,18444492273895866368-u64max[c]
UNITS 1 start unit_page
UNITS 2 end unit_page
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/file.c f2fs_flush_buffered_write() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping->a_ops->bmap 0,4096-ptr_max
PARAM_VALUE 0 mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->fh_to_parent 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 1 start 0-2251799813685247,18444492273895866368-u64max
PARAM_VALUE 2 end 0-2251799813685247,18444492273895866368-u64max
DATA_SOURCE 0 mapping $0
NOCHECK_CALL
UNITS 1 start unit_page
UNITS 2 end unit_page

fs/f2fs/file.c f2fs_ioc_start_atomic_write() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
NOCHECK_CALL
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/ext4/file.c ext4_dio_write_iter() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->fh_to_parent 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 mapping->i_mmap_rwsem.dep_map->name 0-255
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 start 0-2251799813685247,18444492273895866368-u64max
PARAM_VALUE 2 end 0-2251799813685247,18444492273895866368-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 start unit_page
UNITS 2 end unit_page
HALF_LOCKED2 &pool->lock

fs/ntfs/file.c ntfs_dio_write_iter() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->host 4096-ptr_max
PARAM_VALUE 0 mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mapping->host->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 mapping->host->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 mapping->host->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mapping->host->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->fh_to_parent 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 mapping->i_mmap_rwsem.dep_map->name 0-255
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 start 0-2251799813685247,18444492273895866368-u64max
PARAM_VALUE 2 end 0-2251799813685247,18444492273895866368-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 start 0-2251799813685247,18444492273895866368-u64max[c]
UNITS 1 start unit_page
UNITS 2 end unit_page
LOCK2 &vi->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/gfs2/file.c gfs2_file_write_iter() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0-2251799813685247
PARAM_VALUE 2 end 0-2251799813685247
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 start 0-2251799813685247[c]
USER_DATA 2 end 0-2251799813685247[c]
UNITS 1 start unit_page
UNITS 2 end unit_page
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

mm/fadvise.c generic_fadvise() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->host 4096-ptr_max
PARAM_VALUE 0 mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mapping->host->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648
PARAM_VALUE 0 mapping->host->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576
PARAM_VALUE 0 mapping->host->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360
PARAM_VALUE 1 start 0-2251799813685247
PARAM_VALUE 2 end 0-2251799813685247
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
PARAM_COMPARE 1 start <= $2
PARAM_COMPARE 2 end >= $1
PARAM_COMPARE 2 end >= $1
BIT_INFO 1 start 0x0,0xfffffffffffff
NOSPEC 1 start
NOSPEC 1 start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 start 0-2251799813685247[c]
USER_DATA 2 end 0-2251799813685247[c]
NO_OVERFLOW_SIMPLE 0 mapping->host->i_size
UNITS 1 start unit_page
UNITS 2 end unit_page

fs/ntfs3/file.c ntfs_file_write_iter() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->fh_to_parent 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE 0 mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 1 start 0-2251799813685247,18444492273895866368-u64max
PARAM_VALUE 2 end 0-2251799813685247,18444492273895866368-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 start 0-2251799813685247,18444492273895866368-u64max
USER_DATA 2 end 0-2251799813685247,18444492273895866368-u64max
UNITS 1 start unit_page
UNITS 2 end unit_page
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

drivers/gpu/drm/drm_gem_shmem_helper.c drm_gem_shmem_purge_locked() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bo->mappings.lock
HALF_LOCKED2 &pfdev->shrinker_lock
HALF_LOCKED2 obj->resv
HALF_LOCKED2 shmem->base.resv

fs/9p/vfs_file.c v9fs_file_flock_dotl() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
RX_PATH
NOCHECK_CALL

fs/9p/vfs_file.c v9fs_file_lock() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/9p/vfs_file.c v9fs_file_lock_dotl() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/f2fs/node.c f2fs_restore_node_summary() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 2 end 0-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_root->d_lockref.lock

fs/f2fs/node.c truncate_node() -> invalidate_mapping_pages()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 start unit_page
UNITS 2 end unit_page
HALF_LOCKED2 &sbi->cp_rwsem.internal_rwsem

drivers/gpu/drm/msm/msm_gem.c msm_gem_purge() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
NOCHECK_CALL

fs/libfs.c direct_write_fallback() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->a_ops->bmap 0,4096-ptr_max
PARAM_VALUE 0 mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 1 start 0-2251799813685247,18444492273895866368-u64max
PARAM_VALUE 2 end 0-2251799813685247,18444492273895866368-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 start unit_page
UNITS 2 end unit_page
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/f2fs/compress.c f2fs_invalidate_compress_pages_range() -> invalidate_mapping_pages()

Type Parameter Key Value
PARAM_VALUE 2 end 0-u32max
DATA_SOURCE 1 start $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 start unit_page
UNITS 2 end unit_page
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem