Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

fs/ext4/move_extent.c mext_folio_mkwrite() -> block_commit_write()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
CAPPED_DATA 1 from 1
CAPPED_DATA 1 from 1
DATA_SOURCE 0 folio $1
DATA_SOURCE 1 from $2
DATA_SOURCE 2 to $3
NOCHECK_CALL

fs/ext4/inode.c ext4_block_page_mkwrite() -> block_commit_write()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 from 0
CAPPED_DATA 0 folio->mapping 1
DATA_SOURCE 0 folio $1
NOCHECK_CALL

fs/ext4/inline.c ext4_convert_inline_data_to_extent() -> block_commit_write()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 from 0
PARAM_VALUE 2 to 0-u16max
CAPPED_DATA 2 to 1
DATA_SOURCE 0 folio r __filemap_get_folio
DATA_SOURCE 2 to r ext4_get_inline_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

fs/udf/file.c udf_page_mkwrite() -> block_commit_write()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping 4096-ptr_max
PARAM_VALUE 1 from 0
PARAM_VALUE 2 to 0-4096
CAPPED_DATA 0 folio->mapping 1
DATA_SOURCE 0 folio r _compound_head
FUZZY_MAX 2 to 4096
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 folio unit_page
UNITS 2 to unit_byte
LOCK2 &mapping->invalidate_lock
TYPE_LOCK (struct address_space)->invalidate_lock

fs/ocfs2/file.c ocfs2_write_zero_page() -> block_commit_write()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 from 1-u32max
PARAM_VALUE 2 to 1-u32max
CAPPED_DATA 1 from 1
CAPPED_DATA 2 to 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]
USER_DATA 1 from 1-4096[c]
USER_DATA 2 to 1-4096[c]
HALF_LOCKED2 &oi->ip_alloc_sem

fs/iomap/buffered-io.c iomap_folio_mkwrite_iter() -> block_commit_write()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping 1-u64max
PARAM_VALUE 1 from 0
CAPPED_DATA 2 to 1
DATA_SOURCE 0 folio $1
DATA_SOURCE 2 to r iomap_length
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 folio unit_page
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem

fs/ocfs2/aops.c ocfs2_write_end_nolock() -> block_commit_write()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 from 0-u32max
CAPPED_DATA 0 folio 1
CAPPED_DATA 1 from 1
CAPPED_DATA 1 from 1
FUZZY_MAX 1 from 0
PARAM_COMPARE 1 from <= $2
PARAM_COMPARE 1 from <= $2
PARAM_COMPARE 2 to >= $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 from unit_byte
UNITS 2 to unit_byte
HALF_LOCKED2 &oi->ip_alloc_sem

fs/ocfs2/aops.c ocfs2_write_failure() -> block_commit_write()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 from 0-4095
CAPPED_DATA 1 from 1
NOCHECK_CALL
UNITS 2 to unit_byte

fs/buffer.c block_page_mkwrite() -> block_commit_write()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 from 0
CAPPED_DATA 0 folio->mapping 1
DATA_SOURCE 0 folio r _compound_head
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 folio unit_page
HALF_LOCKED2 &mapping->invalidate_lock

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

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