Documented in 1 files:
Defined in 1 files as a function:
Referenced in 37 files:
- fs/affs/file.c, line 641
- fs/btrfs/verity.c, line 766
- fs/buffer.c
- fs/ecryptfs/mmap.c, line 224
- fs/erofs/fileio.c, line 122
- fs/erofs/zdata.c, line 1044
- fs/exfat/iomap.c, line 256
- fs/ext4/inline.c, line 561
- fs/ext4/page-io.c, line 485
- fs/ext4/readpage.c
- fs/f2fs/compress.c, line 1250
- fs/f2fs/data.c
- fs/f2fs/file.c
- fs/f2fs/inline.c
- fs/fuse/notify.c, line 196
- fs/fuse/virtio_fs.c, line 803
- fs/gfs2/aops.c, line 85
- fs/hugetlbfs/inode.c, line 641
- fs/iomap/buffered-io.c
- fs/mpage.c
- fs/netfs/buffered_read.c, line 574
- fs/netfs/buffered_write.c
- fs/netfs/write_issue.c
- fs/nfs/file.c
- fs/nfs/read.c
- fs/ntfs/aops.c, line 32
- fs/ntfs/iomap.c, line 44
- fs/ntfs/mft.c, line 2653
- fs/ntfs3/file.c
- fs/ntfs3/inode.c
- fs/ocfs2/alloc.c, line 6858
- fs/ocfs2/aops.c
- fs/orangefs/inode.c, line 386
- fs/squashfs/file.c, line 499
- fs/ubifs/file.c, line 1030
- mm/secretmem.c, line 155
- mm/truncate.c, line 883
Smatch caller information:
fs/btrfs/verity.c btrfs_read_merkle_tree_page() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 1-u64max |
| PARAM_VALUE | 1 | start | 0-4095 |
| PARAM_VALUE | 2 | xend | 4096 |
| DATA_SOURCE | 1 | start | r read_key_bytes |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | start | 0-4095[c][u] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
fs/erofs/zdata.c z_erofs_scan_folio() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->private | 0 |
| PARAM_VALUE | 0 | folio->private.counter | s32min-s32max |
| 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] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/orangefs/inode.c orangefs_write_end() -> folio_zero_segment()
| 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 | xend | 4096 |
| DATA_SOURCE | 0 | folio | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | xend | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/affs/file.c affs_read_folio_ofs() -> folio_zero_segment()
| 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_size | s64min-(-2),0-s64max |
| 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/erofs/fileio.c erofs_fileio_scan_folio() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 0,4096-ptr_max |
| PARAM_VALUE | 0 | folio->private | 0 |
| PARAM_VALUE | 1 | start | 0-4294967294 |
| PARAM_VALUE | 2 | xend | 0-u32max |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | xend | 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] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/f2fs/data.c f2fs_get_new_data_folio() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| DATA_SOURCE | 0 | folio | r f2fs_grab_cache_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &src_inode->i_rwsem | ||
| TYPE_LOCK | (struct f2fs_rwsem)->internal_rwsem |
fs/f2fs/data.c f2fs_get_read_data_folio() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| DATA_SOURCE | 0 | folio | r f2fs_grab_cache_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &sbi->gc_lock.internal_rwsem |
fs/f2fs/data.c f2fs_mpage_readpages() -> folio_zero_segment()
| 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 |
| DATA_SOURCE | 0 | folio | $3 [m] |
| 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/f2fs/data.c f2fs_read_multi_pages() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| DATA_SOURCE | 0 | folio | r _compound_head |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/f2fs/data.c f2fs_read_single_page() -> folio_zero_segment()
| 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 |
| 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] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/f2fs/data.c f2fs_write_begin() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 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 |
| DATA_SOURCE | 0 | folio | r f2fs_filemap_get_folio |
| DATA_SOURCE | 1 | start | $3 |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | start | 0-s32max[c] |
| UNITS | 1 | start | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/f2fs/data.c f2fs_write_single_data_page() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->index | 0-4503599627370495 |
| 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->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 | 1-4095 |
| CAPPED_DATA | 0 | folio->index | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->writepages |
fs/ntfs/aops.c ntfs_iomap_read_end_io() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | start | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | xend | unit_byte |
fs/nfs/file.c nfs_truncate_last_folio() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 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 |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 2 | xend | 1 |
| CAPPED_DATA | 2 | xend | 1 |
| DATA_SOURCE | 0 | folio | r filemap_lock_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/nfs/file.c nfs_write_end() -> folio_zero_segment()
| 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_size | 1-s64max |
| PARAM_VALUE | 1 | start | 1-u32max |
| DATA_SOURCE | 0 | folio | $5 |
| DATA_SOURCE | 2 | xend | r folio_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/nfs/file.c nfs_write_end() -> folio_zero_segment()
| 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_size | 1-s64max |
| PARAM_VALUE | 1 | start | 1-u32max |
| DATA_SOURCE | 0 | folio | $5 |
| DATA_SOURCE | 1 | start | r nfs_folio_length |
| DATA_SOURCE | 2 | xend | r folio_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem |
mm/secretmem.c secretmem_free_folio() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->pgmap->ops->folio_free | 0,1125799360645222400,2314884282337259520,3487804881100709888,4287620441410408448,4432558333617348608 |
| PARAM_VALUE | 0 | *folio->_mm_id | 0-4294967295 |
| PARAM_VALUE | 1 | start | 0 |
| BUF_SIZE | 0 | folio | (-1)-s32max |
| BUF_SIZE | 0 | folio | (-1)-s32max |
| DATA_SOURCE | 0 | folio | $0 |
| STR_LEN | 0 | folio | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | folio | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| NO_OVERFLOW_SIMPLE | 0 | folio->index | |
| NO_OVERFLOW_SIMPLE | 0 | folio->mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | folio->mapping->host->i_size | |
| UNITS | 0 | folio | unit_page |
| HALF_LOCKED2 | 0 | &folio->private->lock |
fs/gfs2/aops.c gfs2_write_jdata_folio() -> folio_zero_segment()
| 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_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->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| 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 | 1 | start | 0-9223372036854775807 |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock |
fs/ext4/inline.c ext4_readpage_inline() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->index | 1-u64max |
| 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/ntfs/iomap.c ntfs_iomap_put_folio_non_resident() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| DATA_SOURCE | 0 | folio | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| UNITS | 1 | start | unit_byte |
fs/netfs/buffered_write.c netfs_perform_write() -> folio_zero_segment()
| 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->page.zone_device_data->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | start | 0 |
| DATA_SOURCE | 0 | folio | r netfs_grab_folio_for_write |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| NOSPEC | 2 | xend | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| UNITS | 2 | xend | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &cinode->lock_sem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/netfs/buffered_write.c netfs_perform_write() -> folio_zero_segment()
| 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->page.zone_device_data->kref.refcount.refs.counter | s32min-s32max |
| DATA_SOURCE | 0 | folio | r netfs_grab_folio_for_write |
| DATA_SOURCE | 2 | xend | r folio_size |
| 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 | xend | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &cinode->lock_sem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/exfat/iomap.c exfat_iomap_read_end_io() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | start | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | xend | unit_byte |
fs/squashfs/file.c squashfs_read_folio() -> folio_zero_segment()
| 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_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->fragment_cache->curr_blk | s32min-s32max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->fragment_cache->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->fragment_cache->next_blk | s32min-s32max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->fragment_cache->num_waiters | s32min-s32max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->fragment_cache->unused | s32min-s32max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->stream->avail_decomp | s32min-s32max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->stream->comp_opts->dict_size | 0-s32max |
| 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 |
mm/truncate.c pagecache_isize_extended() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 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 |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 2 | xend | 1 |
| 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] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ocfs2/alloc.c ocfs2_map_and_dirty_folio() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 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 |
| PARAM_VALUE | 1 | start | 0-9223372036854775806 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $4 |
| DATA_SOURCE | 1 | start | $2 |
| DATA_SOURCE | 2 | xend | $3 |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | xend | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | start | 0-9223372036854775806[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/netfs/buffered_read.c netfs_skip_folio_read() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| DATA_SOURCE | 0 | folio | $0 |
| DATA_SOURCE | 2 | xend | r folio_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ecryptfs/mmap.c fill_zeros_to_end_of_page() -> folio_zero_segment()
| 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-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | xend | 4096 |
| CAPPED_DATA | 0 | folio->index | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | xend | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/readpage.c ext4_mpage_readpages() -> folio_zero_segment()
| 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 | 0 | folio->mapping->host->i_sb->s_cop->empty_dir | 0,86,4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->get_context | 0,706,4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->set_context | 0,67,4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| DATA_SOURCE | 0 | folio | $3 [m] |
| 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/ext4/readpage.c ext4_mpage_readpages() -> folio_zero_segment()
| 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 | 0 | folio->mapping->host->i_sb->s_cop->empty_dir | 0,86,4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->get_context | 0,706,4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->set_context | 0,67,4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-u32max |
| DATA_SOURCE | 0 | folio | $3 [m] |
| 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/nfs/read.c nfs_read_add_folio() -> folio_zero_segment()
| 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_size | 1-s64max |
| 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 | 1-u32max |
| PARAM_VALUE | 2 | xend | 2-u64max |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $2 [m] |
| DATA_SOURCE | 1 | start | r nfs_folio_length |
| DATA_SOURCE | 2 | xend | r folio_size |
| PARAM_COMPARE | 1 | start | < $2 |
| PARAM_COMPARE | 2 | xend | > $1 |
| PARAM_COMPARE | 2 | xend | > $1 |
| 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 | xend | unit_byte |
fs/nfs/read.c nfs_read_completion() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | start | 0-u32max |
| PARAM_VALUE | 2 | xend | 0-u32max |
| DATA_SOURCE | 0 | folio | r nfs_page_to_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
fs/nfs/read.c nfs_read_completion() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | start | 1-u64max |
| PARAM_VALUE | 2 | xend | 0-u32max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | r nfs_page_to_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
fs/nfs/read.c nfs_return_empty_folio() -> folio_zero_segment()
| 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->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 |
| 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/f2fs/inline.c f2fs_do_read_inline_data() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->index | 0 |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->empty_dir | 0,86,4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_cop->get_context | 0,706,4096-ptr_max |
| 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,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 |
| CAPPED_DATA | 0 | folio | 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/f2fs/inline.c f2fs_read_inline_data() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->index | 1-u64max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 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/ntfs/mft.c ntfs_write_mft_block() -> folio_zero_segment()
| 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_lock.rlock.dep_map->name | 0-255 |
| 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,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->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| 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->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 | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/fuse/virtio_fs.c virtio_fs_request_complete() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | start | 0-4294967294 |
| PARAM_VALUE | 2 | xend | 1-u32max |
| CAPPED_DATA | 1 | start | 1 |
| PARAM_COMPARE | 1 | start | < $2 |
| PARAM_COMPARE | 2 | xend | > $1 |
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/ntfs3/inode.c ntfs_iomap_put_folio() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $3 |
| DATA_SOURCE | 2 | xend | r folio_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
fs/ntfs3/inode.c ntfs_iomap_read_end_io() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 2 | xend | r folio_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/fuse/notify.c fuse_notify_store() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->_hugetlb_subpool | 0 |
| PARAM_VALUE | 0 | folio->mapping | 0 |
| PARAM_VALUE | 0 | folio->memcg_data | 4096-s64max |
| PARAM_VALUE | 0 | folio->page.memcg_data | 0 |
| PARAM_VALUE | 0 | folio->page.zone_device_data->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | folio->private | 0 |
| PARAM_VALUE | 0 | *folio->_hugetlb_cgroup | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *folio->_hugetlb_cgroup_rsvd | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *folio->page->zone_device_data | (-4611686018427387904)-4611686018427387903 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | r filemap_grab_folio |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| LOCK2 | &fc->killsb | ||
| TYPE_LOCK | (struct fuse_conn)->killsb |
fs/iomap/buffered-io.c __iomap_write_begin() -> folio_zero_segment()
| 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 | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
fs/iomap/buffered-io.c iomap_writeback_handle_eof() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->index | 0-4503599627370495 |
| PARAM_VALUE | 0 | folio->mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | folio->mapping->a_ops->free_folio | 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888 |
| PARAM_VALUE | 0 | folio->mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | folio->mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | folio->mapping->a_ops->launder_folio | 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824 |
| PARAM_VALUE | 0 | folio->mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | folio->mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | folio->mapping->host->i_op->get_acl | 0,434817594022129664,1176132492164517888,2308293591809245184,2352177825799393280,5894181231315005440,7161457072544161792,8358186677320523776 |
| 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_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| 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,1640,1808,1816,2632,2640,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,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| 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 | 0 | folio->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 | folio->mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| 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->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->pgmap->ops->folio_free | 0,1125799360645222400,2314884282337259520,3487804881100709888,4287620441410408448,4432558333617348608 |
| PARAM_VALUE | 1 | start | 0-9223372036854775806 |
| BUF_SIZE | 0 | folio | (-1)-s32max |
| BUF_SIZE | 0 | folio | (-1)-s32max |
| 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 |
| 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 | 0 | folio->index | |
| NO_OVERFLOW_SIMPLE | 0 | folio->mapping->host->i_size | |
| HALF_LOCKED2 | 0 | &folio->private->lock |
fs/ocfs2/aops.c ocfs2_read_folio() -> folio_zero_segment()
| 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 | 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] |
| LOCK2 | &oi->ip_alloc_sem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| TYPE_LOCK | (struct ocfs2_inode_info)->ip_alloc_sem |
fs/ocfs2/aops.c ocfs2_zero_new_buffers() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | xend | 1-u32max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | xend | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| PARAM_COMPARE | 1 | start | <= $2 |
| PARAM_COMPARE | 2 | xend | >= $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | start | 1-s32max[c] |
| USER_DATA | 2 | xend | 1-s32max[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
fs/netfs/write_issue.c netfs_write_folio() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 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->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| 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 | 1-18446744073709551614 |
| CAPPED_DATA | 0 | folio | 1 |
| DATA_SOURCE | 0 | folio | $2 |
| DATA_SOURCE | 2 | xend | r folio_size |
| BIT_INFO | 1 | start | 0x0,0x7fffffffffffffff |
| BIT_INFO | 1 | start | 0x0,0x7fffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/netfs/write_issue.c netfs_write_folio_single() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-18446744073709551614 |
| DATA_SOURCE | 0 | folio | $1 |
| DATA_SOURCE | 2 | xend | r folio_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| HALF_LOCKED2 | &dvnode->validate_lock | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &vnode->validate_lock | ||
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/hugetlbfs/inode.c hugetlbfs_zero_partial_page() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 1-1025,1027-1029,1031-ptr_max |
| PARAM_VALUE | 1 | start | 0-9223372036854775807 |
| PARAM_VALUE | 2 | xend | 1-9223372036854775807 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | xend | 1 |
| CAPPED_DATA | 2 | xend | 1 |
| DATA_SOURCE | 0 | folio | r filemap_lock_hugetlb_folio |
| DATA_SOURCE | 2 | xend | $3 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | start | 1-9223372036854775806[c] |
| UNITS | 1 | start | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->i_mmap_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/f2fs/file.c f2fs_vm_page_mkwrite() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->index | 0-8589934589 |
| PARAM_VALUE | 1 | start | 0-4095 |
| CAPPED_DATA | 0 | folio->index | 1 |
| DATA_SOURCE | 0 | folio | r _compound_head |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | folio | unit_page |
| LOCK2 | &inode->i_mapping->invalidate_lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
fs/f2fs/file.c truncate_partial_data_page() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-4095 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| USER_DATA | 1 | start | 1-4095[c] |
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sbi->cp_rwsem.internal_rwsem |
fs/buffer.c block_write_full_folio() -> folio_zero_segment()
| 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_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,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->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| 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->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 | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/buffer.c folio_zero_new_buffers() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | xend | 1-u64max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | xend | 1 |
| CAPPED_DATA | 2 | xend | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| PARAM_COMPARE | 1 | start | <= $2 |
| PARAM_COMPARE | 1 | start | <= $2 |
| PARAM_COMPARE | 2 | xend | >= $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
fs/ubifs/file.c ubifs_writepage() -> folio_zero_segment()
| 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_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 | 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->inode_info_offs | 1632,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->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->no_chk_data_crc | 0-1 |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb->s_fs_info->ro_error | 0-1 |
| 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->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-s32max,18446744071562067968-u64max |
| CAPPED_DATA | 0 | folio | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ext4/page-io.c ext4_bio_write_folio() -> folio_zero_segment()
| 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-18446744073709551614 |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| DATA_SOURCE | 1 | start | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | folio | unit_page |
fs/ntfs3/file.c ntfs_compress_write() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | start | 0-4094 |
| PARAM_VALUE | 2 | xend | 4096 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 0 | folio | r _compound_head |
| FUZZY_MAX | 1 | start | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | xend | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ntfs3/file.c ntfs_zero_tail() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/f2fs/compress.c f2fs_truncate_partial_cluster() -> folio_zero_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| DATA_SOURCE | 0 | folio | r _compound_head |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | start | 1-9223372036854775807,9223372036854775809-18446744073709551614 |
| UNITS | 1 | start | unit_byte |
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &sbi->cp_global_sem.internal_rwsem |