Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ext4/inode.c ext4_block_write_begin() -> folio_zero_new_buffers()

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
PARAM_VALUE 1 from 0-4294967294
PARAM_VALUE 2 to 1-u32max
CAPPED_DATA 1 from 1
CAPPED_DATA 2 to 1
DATA_SOURCE 0 folio $1
PARAM_COMPARE 1 from <= $2
PARAM_COMPARE 2 to >= $1
NOSPEC 1 from
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
USER_DATA 1 from 0-s32max[c]
UNITS 0 folio unit_page
UNITS 1 from unit_byte
UNITS 2 to unit_byte
HALF_LOCKED2 &mapping->invalidate_lock

fs/buffer.c block_write_end() -> folio_zero_new_buffers()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 from unit_byte
UNITS 2 to unit_byte