Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dax.c dax_zero_range() -> dax_zero_iter()

Type Parameter Key Value
PARAM_VALUE 0 iter 6549960684387860480
PARAM_VALUE 0 iter->fbatch 0
PARAM_VALUE 0 iter->flags 258
PARAM_VALUE 0 iter->inode 4096-ptr_max
PARAM_VALUE 0 iter->iomap.dax_dev 0
PARAM_VALUE 0 iter->iomap.flags 0
PARAM_VALUE 0 iter->iomap.length 0
PARAM_VALUE 0 iter->iomap.offset 0
PARAM_VALUE 0 iter->private 0
PARAM_VALUE 0 iter->srcmap.length 0
PARAM_VALUE 0 iter->srcmap.offset 0
PARAM_VALUE 0 iter->status 0
PARAM_VALUE 1 did_zero 0,1292469662136700928,2601595481729413120,7470274218647564288
DATA_SOURCE 1 did_zero $3
NOSPEC 0 iter->iter_start_pos
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iter->iter_start_pos s64min-s64max
USER_DATA 0 iter->len 1-u64max
USER_DATA 0 iter->pos (-9223372036854775807)-(-4),0-s64max