Documented in 1 files:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
fs/dax.c dax_fault_iter() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 834354708271124480,8468400029247475712 |
| DATA_SOURCE | 0 | i | $1 |
| NOSPEC | 0 | i->pos | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->pos | s64min-(-4096),0,4096-s64max[c] |
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/dax.c dax_iomap_iter() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 5702659886749499392 |
| DATA_SOURCE | 0 | i | $0 |
| NOSPEC | 0 | i->len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 1-1000000000 |
| USER_DATA | 0 | i->pos | s64min-(-2),0-9223372036854775806 |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/dax.c dax_memzero() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 6549960684387860480 |
| DATA_SOURCE | 0 | i | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 1-u64max |
| USER_DATA | 0 | i->pos | (-9223372036854775807)-s64max |
| USER_DATA | 0 | i->status | s32min-0[c] |
| LOCK2 | global &dax_srcu |
fs/dax.c dax_unshare_iter() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 5773819215584018432 |
| DATA_SOURCE | 0 | i | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 1-9223372036854775807[c] |
| USER_DATA | 0 | i->pos | 0-9223372036854775806 |
| HALF_LOCKED2 | &pool->lock |
fs/dax.c dax_zero_iter() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 6549960684387860480 |
| DATA_SOURCE | 0 | i | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 1-u64max |
| USER_DATA | 0 | i->pos | (-9223372036854775807)-s64max |
fs/iomap/buffered-io.c __iomap_write_begin() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 313144522189471744,5792238090434097152,7130681481790644224 |
| BUF_SIZE | 0 | i->fbatch | (-1),256 |
| BUF_SIZE | 0 | i->private | (-1),16 |
| DATA_SOURCE | 0 | i | $0 |
| NOSPEC | 0 | i->iter_start_pos | |
| NOSPEC | 0 | i->len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 0-u64max |
| USER_DATA | 0 | i->pos | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | i->inode->i_mapping->host->i_bytes |
fs/iomap/buffered-io.c iomap_block_needs_zeroing() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 313144522189471744,3364473653970825216,5792238090434097152,6082641349340434432,7130681481790644224 |
| BUF_SIZE | 0 | i->fbatch | (-1),256 |
| BUF_SIZE | 0 | i->private | (-1),16,24 |
| DATA_SOURCE | 0 | i | $0 |
| NOSPEC | 0 | i->iter_start_pos | |
| NOSPEC | 0 | i->len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 0-u64max |
| USER_DATA | 0 | i->pos | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | i->inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | i->inode->i_mapping->host->i_bytes |
fs/iomap/buffered-io.c iomap_read_inline_data() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 313144522189471744,3364473653970825216,5792238090434097152,6082641349340434432,7130681481790644224 |
| BUF_SIZE | 0 | i->fbatch | (-1),256 |
| BUF_SIZE | 0 | i->private | (-1),16,24 |
| DATA_SOURCE | 0 | i | $0 |
| NOSPEC | 0 | i->iter_start_pos | |
| NOSPEC | 0 | i->len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 0-u64max |
| USER_DATA | 0 | i->pos | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | i->inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | i->inode->i_mapping->host->i_bytes |
fs/iomap/buffered-io.c iomap_write_begin() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 313144522189471744,5792238090434097152,7130681481790644224 |
| DATA_SOURCE | 0 | i | $0 |
| NOSPEC | 0 | i->len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 0-u64max |
| USER_DATA | 0 | i->pos | s64min-s64max |
fs/iomap/buffered-io.c iomap_write_begin_inline() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 313144522189471744,5792238090434097152,7130681481790644224 |
| BUF_SIZE | 0 | i->fbatch | (-1),256 |
| BUF_SIZE | 0 | i->private | (-1),16 |
| DATA_SOURCE | 0 | i | $0 |
| NOSPEC | 0 | i->iter_start_pos | |
| NOSPEC | 0 | i->len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 0-u64max |
| USER_DATA | 0 | i->pos | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | i->inode->i_mapping->host->i_bytes |
fs/iomap/buffered-io.c iomap_write_end() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 313144522189471744,5792238090434097152,7130681481790644224 |
| DATA_SOURCE | 0 | i | $0 |
| NOSPEC | 0 | i->len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 0-u64max |
| USER_DATA | 0 | i->pos | s64min-s64max |
fs/iomap/buffered-io.c iomap_zero_range() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 313144522189471744 |
| NOSPEC | 0 | i->iter_start_pos | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 0-u64max |
| USER_DATA | 0 | i->pos | (-9223372036854775807)-s64max |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &vi->i_rwsem |
fs/iomap/bio.c iomap_bio_read_folio_range_sync() -> iomap_iter_srcmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 313144522189471744,5792238090434097152,7130681481790644224 |
| BUF_SIZE | 0 | i->fbatch | (-1),256 |
| BUF_SIZE | 0 | i->private | (-1),16 |
| DATA_SOURCE | 0 | i | $0 |
| BIT_INFO | 0 | i->flags | 0x0,0x7df |
| NOSPEC | 0 | i->iter_start_pos | |
| NOSPEC | 0 | i->len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | i->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | i->len | 0-u64max |
| USER_DATA | 0 | i->pos | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | i->inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | i->inode->i_mapping->host->i_bytes |