netfs_write_folio identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/netfs/write_issue.c, line 320 (as a function)

Referenced in 1 files:

fs/netfs/write_issue.c

Smatch caller information:

fs/netfs/write_issue.c netfs_advance_writethrough() -> netfs_write_folio()

Type	Parameter	Key	Value
PARAM_VALUE	0	wreq	4096-ptr_max
PARAM_VALUE	0	wreq->buffer.next_head_slot	0-30
PARAM_VALUE	0	wreq->cache_resources.ops->end_operation	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->expand_readahead	0
PARAM_VALUE	0	wreq->cache_resources.ops->issue_write	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->prepare_read	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->prepare_write	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->prepare_write_subreq	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->query_occupancy	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->read	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->write	4096-ptr_max
PARAM_VALUE	1	wbc	2639473632724004864
PARAM_VALUE	1	wbc->fbatch.i	0
PARAM_VALUE	1	wbc->for_sync	1
PARAM_VALUE	1	wbc->index	0
PARAM_VALUE	1	wbc->inode	0,4096-ptr_max
PARAM_VALUE	1	wbc->nr_to_write	s64max
PARAM_VALUE	1	wbc->wb	0,4096-ptr_max
PARAM_VALUE	1	wbc->wb_bytes	0
PARAM_VALUE	2	folio	4096-ptr_max
PARAM_VALUE	2	folio->_deferred_list.next->prev	4096-ptr_max
PARAM_VALUE	2	folio->_deferred_list.prev->next	4096-ptr_max
PARAM_VALUE	2	folio->page.zone_device_data->kref.refcount.refs.counter	s32min-s32max
BUF_SIZE	0	wreq	(-1)-s32max
BUF_SIZE	0	wreq	(-1)-s32max
CAPPED_DATA	2	folio	1
DATA_SOURCE	0	wreq	$0
DATA_SOURCE	1	wbc	$1
DATA_SOURCE	2	folio	$2
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	wreq->iocb->ki_flags	2-s32max[c][u]
USER_DATA	0	wreq->iocb->ki_ioprio	0-u16max
USER_DATA	0	wreq->iocb->ki_pos	s64min-(-2),0-s64max
USER_DATA	1	wbc->range_start	s64min-(-2),0-s64max
USER_DATA	2	folio->mapping->writeback_index	0-524287[c]
NO_OVERFLOW_SIMPLE	0	wreq->i_size
NO_OVERFLOW_SIMPLE	0	wreq->inode->i_bytes
NO_OVERFLOW_SIMPLE	0	wreq->inode->i_size
LOCK2		&inode->i_rwsem
HALF_LOCKED2		&cinode->lock_sem
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct inode)->i_rwsem

fs/netfs/write_issue.c netfs_end_writethrough() -> netfs_write_folio()

Type	Parameter	Key	Value
PARAM_VALUE	0	wreq->buffer.next_head_slot	0-30
PARAM_VALUE	0	wreq->cache_resources.ops->end_operation	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->expand_readahead	0
PARAM_VALUE	0	wreq->cache_resources.ops->issue_write	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->prepare_read	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->prepare_write	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->prepare_write_subreq	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->query_occupancy	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->read	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->write	4096-ptr_max
PARAM_VALUE	1	wbc	2639473632724004864
PARAM_VALUE	1	wbc->fbatch.i	0
PARAM_VALUE	1	wbc->for_sync	1
PARAM_VALUE	1	wbc->index	0
PARAM_VALUE	1	wbc->inode	0,4096-ptr_max
PARAM_VALUE	1	wbc->nr_to_write	s64max
PARAM_VALUE	1	wbc->wb	0,4096-ptr_max
PARAM_VALUE	1	wbc->wb_bytes	0
PARAM_VALUE	2	folio	4096-ptr_max
PARAM_VALUE	2	folio->page.zone_device_data->kref.refcount.refs.counter	s32min-s32max
BUF_SIZE	0	wreq	(-1)-s32max
BUF_SIZE	0	wreq	(-1)-s32max
DATA_SOURCE	0	wreq	$0
DATA_SOURCE	1	wbc	$1
DATA_SOURCE	2	folio	$2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	wreq->iocb->ki_flags	2-s32max[c][u]
USER_DATA	0	wreq->iocb->ki_ioprio	0-u16max
USER_DATA	0	wreq->iocb->ki_pos	s64min-(-2),0-s64max
USER_DATA	1	wbc->range_start	s64min-(-2),0-s64max
NO_OVERFLOW_SIMPLE	0	wreq->i_size
NO_OVERFLOW_SIMPLE	0	wreq->inode->i_bytes
NO_OVERFLOW_SIMPLE	0	wreq->inode->i_size
LOCK2		&inode->i_rwsem
HALF_LOCKED2		&cinode->lock_sem
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct inode)->i_rwsem

fs/netfs/write_issue.c netfs_writepages() -> netfs_write_folio()

Type	Parameter	Key	Value
PARAM_VALUE	0	wreq->buffer.next_head_slot	0-30
PARAM_VALUE	0	wreq->cache_resources.ops->end_operation	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->expand_readahead	0
PARAM_VALUE	0	wreq->cache_resources.ops->issue_write	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->prepare_read	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->prepare_write	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->prepare_write_subreq	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->query_occupancy	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->read	4096-ptr_max
PARAM_VALUE	0	wreq->cache_resources.ops->write	4096-ptr_max
PARAM_VALUE	1	wbc	268937840601612288,388796424924803072,831053748791767040,5289549940995424256,6525347519402446848,8349933177266966528
PARAM_VALUE	1	wbc->inode	0,4096-ptr_max
PARAM_VALUE	1	wbc->wb	0,4096-ptr_max
PARAM_VALUE	2	folio	4096-ptr_max
PARAM_VALUE	2	folio->mapping->host->i_op->get_offset_ctx	0,2606890545167454208
PARAM_VALUE	2	folio->mapping->host->i_op->readlink	0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE	2	folio->mapping->host->i_sb->s_cop->empty_dir	0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	2	folio->mapping->host->i_sb->s_cop->get_context	0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE	2	folio->mapping->host->i_sb->s_cop->inode_info_offs	1632,1808,2632,2648,2704,2712
PARAM_VALUE	2	folio->mapping->host->i_sb->s_cop->set_context	0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE	2	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	folio->mapping->host->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	2	folio->mapping->host->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	2	folio->mapping->host->i_wb->dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	2	folio->mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	2	folio->mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	2	*folio->_mm_id	0-4294967295
BUF_SIZE	0	wreq	(-1)-s32max
BUF_SIZE	0	wreq	(-1)-s32max
CAPPED_DATA	2	folio	1
DATA_SOURCE	0	wreq	r netfs_create_write_req
DATA_SOURCE	1	wbc	$1
STR_LEN	1	wbc->inode	(-1)
NOSPEC	1	wbc->index
NOSPEC	1	wbc->inode->i_bytes
NOSPEC	1	wbc->inode->i_mode
NOSPEC	1	wbc->inode->i_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA	1	wbc->index	0-2251799813685248,4503599627370496,18444492273895866368-u64max
USER_DATA	1	wbc->inode->__i_nlink	1-u32max
USER_DATA	1	wbc->inode->i_blocks	0-18014398509481983,18428729675200069632-u64max
USER_DATA	1	wbc->inode->i_bytes	0-65023[c]
USER_DATA	1	wbc->inode->i_ino	0-u64max
USER_DATA	1	wbc->inode->i_mode	0-u16max
USER_DATA	1	wbc->inode->i_rdev	0-u32max[c]
USER_DATA	1	wbc->inode->i_size	(-9223372036854775807)-s64max
USER_DATA	1	wbc->range_end	s64min-s64max
USER_DATA	1	wbc->range_start	s64min-s64max
NO_OVERFLOW_SIMPLE	0	wreq->i_size
NO_OVERFLOW_SIMPLE	0	wreq->inode->i_bytes
NO_OVERFLOW_SIMPLE	0	wreq->inode->i_size
NO_OVERFLOW_SIMPLE	1	wbc->inode->i_blkbits
NO_OVERFLOW_SIMPLE	1	wbc->inode->i_linklen
HALF_LOCKED2		&vnode->validate_lock