Documented in 1 files:
Defined in 1 files as a function:
Referenced in 30 files:
- fs/btrfs/compression.c, line 494
- fs/btrfs/extent_io.c
- fs/btrfs/file.c, line 1941
- fs/btrfs/inode.c
- fs/btrfs/lzo.c
- fs/btrfs/reflink.c, line 141
- fs/btrfs/zlib.c, line 506
- fs/btrfs/zstd.c, line 727
- fs/buffer.c
- fs/ceph/file.c, line 2604
- fs/ecryptfs/mmap.c
- fs/ext4/inode.c
- fs/ext4/move_extent.c, line 155
- fs/f2fs/data.c, line 2590
- fs/f2fs/file.c, line 1247
- fs/fuse/dev.c, line 1254
- fs/gfs2/quota.c, line 776
- fs/hfs/btree.c, line 86
- fs/iomap/buffered-io.c
- fs/libfs.c
- fs/ntfs3/frecord.c, line 1945
- fs/ntfs3/inode.c, line 844
- fs/ocfs2/aops.c, line 654
- fs/orangefs/inode.c, line 381
- fs/ubifs/file.c
- fs/vboxsf/file.c, line 317
- mm/memfd_luo.c, line 192
- mm/page_io.c, line 446
- mm/shmem.c
- mm/truncate.c, line 246
Smatch caller information:
fs/ext4/move_extent.c mext_folio_mkuptodate() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->s_dirtyclusters_counter->counters | s32min-s32max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->s_dirtyclusters_counter->lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->s_dirtyclusters_counter.lock.owner | (-1) |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->s_dirtyclusters_counter.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->s_freeclusters_counter.lock.owner | (-1) |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->s_freeclusters_counter.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->s_journal->j_state_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | folio->mapping->host->i_wb->dwork.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | folio->mapping->host->i_wb->dwork.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | folio->mapping->host->i_wb->dwork.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | folio->mapping->host->i_wb->refcnt.percpu_count_ptr | 1-u64max |
| PARAM_VALUE | 0 | *folio->mapping->host->i_sb->s_fs_info->s_dirtyclusters_counter.counters | s32min-s32max |
| PARAM_VALUE | 0 | *folio->mapping->host->i_sb->s_fs_info->s_freeclusters_counter.lock.owner | (-4611686018427387904)-4611686018427387903 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| DATA_SOURCE | 2 | length | r i_blocksize |
| NOCHECK_CALL |
fs/orangefs/inode.c orangefs_write_end() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-u32max |
| PARAM_VALUE | 2 | length | 0-u32max |
| DATA_SOURCE | 0 | folio | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | length | 1-u32max[c] |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/btrfs/zstd.c zstd_decompress() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 2 | length | 1-u32max |
| DATA_SOURCE | 0 | folio | $2 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | start | 0-9223372036888330239[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
mm/page_io.c swap_read_folio_zeromap() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| DATA_SOURCE | 0 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/btrfs/file.c btrfs_page_mkwrite() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 1-u64max |
| PARAM_VALUE | 1 | start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | r _compound_head |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | folio | unit_page |
| LOCK2 | &inode->i_mmap_lock | ||
| TYPE_LOCK | (struct btrfs_inode)->i_mmap_lock |
fs/ntfs3/frecord.c ni_read_folio_cmpr() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/btrfs/inode.c btrfs_do_encoded_write() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-1000000000 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | r btrfs_alloc_compr_folio |
| CAPABLE | 0 | 21 | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | start | 0-1000000000[c] |
fs/btrfs/inode.c btrfs_truncate_block() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | r __filemap_get_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
fs/btrfs/inode.c read_inline_extent() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-4294967294 |
| PARAM_VALUE | 2 | length | 1-u32max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
fs/btrfs/inode.c round_up_last_block() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | r compressed_bio_last_folio |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/inode.c truncate_block_zero_beyond_eof() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| DATA_SOURCE | 0 | folio | r filemap_lock_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 2 | length | 4-9223372036854775807[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
fs/btrfs/inode.c uncompress_inline() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-4294967294 |
| PARAM_VALUE | 2 | length | 1-u32max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
fs/ext4/inode.c ext4_block_do_zero_range() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | length | 0-u32max |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 2 | length | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | folio | unit_page |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c ext4_block_journalled_zero_range() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | length | 0-u32max |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 2 | length | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | folio | unit_page |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c ext4_journalled_zero_new_buffers() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | start | 1-4095[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
mm/shmem.c shmem_symlink() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->swap.val | 0 |
| PARAM_VALUE | 1 | start | 129-4096 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
mm/shmem.c shmem_writeout() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | folio->mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| 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->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| 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 | start | 0 |
| CAPPED_DATA | 0 | folio | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/f2fs/data.c f2fs_read_data_large_folio() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 0,4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0,4096-18446744073709547520 |
| PARAM_VALUE | 2 | length | 4096 |
| DATA_SOURCE | 0 | folio | $3 [m] |
| BIT_INFO | 1 | start | 0x0,0xfffffffffffff000 |
| BIT_INFO | 1 | start | 0x0,0xfffffffffffff000 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/btrfs/extent_io.c btrfs_do_readpage() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 1-9223372036854775807 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
fs/btrfs/extent_io.c btrfs_do_readpage() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| UNITS | 2 | length | unit_byte |
fs/btrfs/extent_io.c btrfs_do_readpage() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 2 | length | 0-u32max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| NO_OVERFLOW_SIMPLE | 2 | length | |
| UNITS | 2 | length | unit_byte |
fs/btrfs/extent_io.c end_bbio_data_read() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/extent_io.c extent_writepage() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| 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 | start | 0-9223372036854775807 |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->index | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/fuse/dev.c fuse_copy_folio() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | length | 1-u64max |
| DATA_SOURCE | 2 | length | r folio_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | length | unit_byte |
mm/truncate.c truncate_inode_partial_folio() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | start | 0-u32max |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/hfs/btree.c hfs_btree_open() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| DATA_SOURCE | 0 | folio | r filemap_grab_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/gfs2/quota.c gfs2_write_buf_to_page() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-u32max |
| DATA_SOURCE | 0 | folio | r filemap_grab_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | length | |
| UNITS | 2 | length | unit_byte |
| LOCK2 | &ip->i_inode.i_rwsem | ||
| LOCK2 | &sdp->sd_log_flush_lock | ||
| TYPE_LOCK | (struct gfs2_sbd)->sd_log_flush_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/btrfs/lzo.c copy_compressed_data_to_bio() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-u32max |
| PARAM_VALUE | 2 | length | 1-3 |
| CAPPED_DATA | 1 | start | 1 |
| HARD_MAX | 2 | length | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/lzo.c lzo_decompress() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 1-u64max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 2 | length | 1-u32max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | $2 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | start | 0-9223372041183297533[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
fs/ecryptfs/mmap.c ecryptfs_write_begin() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | length | 4096 |
| DATA_SOURCE | 0 | folio | r __filemap_get_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ecryptfs/mmap.c ecryptfs_write_begin() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | length | 4096 |
| DATA_SOURCE | 0 | folio | r __filemap_get_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ntfs3/inode.c ntfs_read_folio() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/btrfs/compression.c add_ra_bio_folios() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 0,4096-ptr_max |
| PARAM_VALUE | 1 | start | 1-9223372036854775807 |
| PARAM_VALUE | 2 | length | 0-s32max,18446744071562067968-u64max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | r filemap_alloc_folio_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/btrfs/zlib.c zlib_decompress() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 1-u64max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 2 | length | 1-u32max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | $2 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | start | 0-9223372041183297533[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
fs/iomap/buffered-io.c iomap_read_folio_iter() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 0,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 | 2 | length | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/iomap/buffered-io.c iomap_zero_iter() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| NOSPEC | 2 | length | |
| NOSPEC | 2 | length | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | start | 0-u64max[c] |
| USER_DATA | 2 | length | 0-s32max[c] |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ni->mrec_lock | ||
| HALF_LOCKED2 | &vi->i_rwsem |
fs/ocfs2/aops.c ocfs2_map_folio_blocks() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-4294967293 |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| STR_LEN | 0 | folio | (-1) |
| STR_LEN | 0 | folio | (-1) |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | length | |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
fs/f2fs/file.c fill_zero() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->page.zone_device_data->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | start | 0-4095 |
| PARAM_VALUE | 2 | length | 1-4095,18446744073709547521-u64max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | r f2fs_get_new_data_folio |
| DATA_SOURCE | 1 | start | $2 |
| DATA_SOURCE | 2 | length | $3 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | length | |
| NOSPEC | 2 | length | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | start | 1-4095[c] |
| USER_DATA | 2 | length | 1-4095,18446744073709547521-u64max[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
mm/memfd_luo.c memfd_luo_preserve_folios() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| NOCHECK_CALL | |||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/buffer.c block_read_full_folio() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | folio->private | 0,4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| NO_OVERFLOW_SIMPLE | 2 | length | |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &oi->ip_alloc_sem |
fs/buffer.c block_truncate_page() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-18446744073709551614 |
| PARAM_VALUE | 2 | length | 0-4294967294,18446744069414584321-u64max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | r filemap_grab_folio |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | length | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | start | 0-s32max[c] |
| USER_DATA | 2 | length | 0-4294967294,18446744069414584321-u64max[c] |
fs/buffer.c cont_expand_zero() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-9223372036854775807 |
| PARAM_VALUE | 2 | length | 1-4096 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/buffer.c cont_expand_zero() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-9223372036854775807 |
| PARAM_VALUE | 2 | length | 1-4095 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | length | 1-4095[c] |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ubifs/file.c do_readpage() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 1 | start | 0 |
| DATA_SOURCE | 0 | folio | $0 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
fs/ubifs/file.c do_readpage() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 1 | start | 4096-u64max |
| PARAM_VALUE | 2 | length | 4096 |
| DATA_SOURCE | 0 | folio | $0 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
fs/ubifs/file.c do_readpage() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 1 | start | 1-4095 |
| PARAM_VALUE | 2 | length | 1-2147483646 |
| DATA_SOURCE | 0 | folio | $0 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
fs/ubifs/file.c populate_page() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| LOCK2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | &c->bu_mutex | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| TYPE_LOCK | (struct ubifs_inode)->ui_mutex |
fs/ubifs/file.c populate_page() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | start | 0,4096-u64max |
| PARAM_VALUE | 2 | length | 4096 |
| DATA_SOURCE | 0 | folio | $1 |
| FUZZY_MAX | 1 | start | 0 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| LOCK2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | &c->bu_mutex | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| TYPE_LOCK | (struct ubifs_inode)->ui_mutex |
fs/ubifs/file.c populate_page() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | start | 1-4095 |
| PARAM_VALUE | 2 | length | 1-4095 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| LOCK2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | &c->bu_mutex | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| TYPE_LOCK | (struct ubifs_inode)->ui_mutex |
fs/ubifs/file.c populate_page() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | start | 0,4096-u64max |
| PARAM_VALUE | 2 | length | 4096 |
| DATA_SOURCE | 0 | folio | $1 |
| FUZZY_MAX | 1 | start | 0 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| LOCK2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | &c->bu_mutex | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| TYPE_LOCK | (struct ubifs_inode)->ui_mutex |
fs/ubifs/file.c populate_page() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->index | 0-2251799813685247 |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | start | 1-4095 |
| PARAM_VALUE | 2 | length | 1-4095 |
| CAPPED_DATA | 0 | folio->index | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| LOCK2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | &c->bu_mutex | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| TYPE_LOCK | (struct ubifs_inode)->ui_mutex |
fs/ubifs/file.c read_block() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 1 | start | 0,4096-u64max |
| PARAM_VALUE | 2 | length | 4096 |
| DATA_SOURCE | 0 | folio | $1 |
| DATA_SOURCE | 1 | start | $2 |
| FUZZY_MAX | 1 | start | 0 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
fs/ubifs/file.c read_block() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 1 | start | 1-4095 |
| PARAM_VALUE | 2 | length | 1-4095 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
fs/btrfs/reflink.c copy_inline_to_page() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 1-u64max |
| PARAM_VALUE | 1 | start | 0-4294967294 |
| PARAM_VALUE | 2 | length | 1-u32max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | r __filemap_get_folio |
| DATA_SOURCE | 1 | start | $4 |
| CONSTRAINT | 1 | start | <=4015 |
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | length | unit_byte |
fs/ceph/file.c ceph_zero_partial_page() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | length | 1 |
| CAPPED_DATA | 2 | length | 1 |
| DATA_SOURCE | 0 | folio | r filemap_lock_folio |
| DATA_SOURCE | 2 | length | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | start | 0-u64max[c] |
| USER_DATA | 2 | length | 1-u64max[c] |
| UNITS | 2 | length | unit_byte |
| LOCK2 | &inode->i_mapping->invalidate_lock | ||
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/libfs.c simple_read_folio() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/libfs.c simple_write_end() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 2 | length | 0-u32max |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | length | 1-u32max[c] |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/vboxsf/file.c vboxsf_write_end() -> folio_zero_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | length | 0-u32max |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | length | 1-u32max[c] |
| HALF_LOCKED2 | &inode->i_rwsem |