Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/iomap/buffered-io.c __iomap_write_begin() -> iomap_block_needs_zeroing()

Type Parameter Key Value
PARAM_VALUE 0 iter 313144522189471744,5792238090434097152,7130681481790644224
PARAM_VALUE 0 iter->inode 4096-ptr_max
BUF_SIZE 0 iter->fbatch (-1),256
BUF_SIZE 0 iter->private (-1),16
DATA_SOURCE 0 iter $0
NOSPEC 0 iter->iter_start_pos
NOSPEC 0 iter->len
NOSPEC 1 pos
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iter->iter_start_pos s64min-s64max
USER_DATA 0 iter->len 0-u64max
USER_DATA 0 iter->pos s64min-s64max
USER_DATA 1 pos 0-s64max[c]
NO_OVERFLOW_SIMPLE 0 iter->inode->i_mapping->host->i_bytes

fs/iomap/buffered-io.c iomap_read_folio_iter() -> iomap_block_needs_zeroing()

Type Parameter Key Value
PARAM_VALUE 0 iter 3364473653970825216,6082641349340434432
PARAM_VALUE 0 iter->inode 4096-ptr_max
DATA_SOURCE 0 iter $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 pos unit_byte
HALF_LOCKED2 &mapping->invalidate_lock