Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/iomap/buffered-io.c iomap_read_folio() -> (struct iomap_read_ops)->submit_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 6082641349340434432 |
| PARAM_VALUE | 0 | iter->fbatch | 0 |
| PARAM_VALUE | 0 | iter->flags | 0 |
| PARAM_VALUE | 0 | iter->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | iter->iomap.addr | 0 |
| PARAM_VALUE | 0 | iter->iomap.bdev | 0 |
| PARAM_VALUE | 0 | iter->iomap.dax_dev | 0 |
| PARAM_VALUE | 0 | iter->iomap.flags | 0 |
| PARAM_VALUE | 0 | iter->iomap.inline_data | 0 |
| PARAM_VALUE | 0 | iter->iomap.length | 0 |
| PARAM_VALUE | 0 | iter->iomap.offset | 0 |
| PARAM_VALUE | 0 | iter->iomap.private | 0 |
| PARAM_VALUE | 0 | iter->iomap.type | 0 |
| PARAM_VALUE | 0 | iter->iomap.validity_cookie | 0 |
| PARAM_VALUE | 0 | iter->private | 0,4117408191789748224 |
| PARAM_VALUE | 0 | iter->srcmap.addr | 0 |
| PARAM_VALUE | 0 | iter->srcmap.bdev | 0 |
| PARAM_VALUE | 0 | iter->srcmap.dax_dev | 0 |
| PARAM_VALUE | 0 | iter->srcmap.flags | 0 |
| PARAM_VALUE | 0 | iter->srcmap.inline_data | 0 |
| PARAM_VALUE | 0 | iter->srcmap.length | 0 |
| PARAM_VALUE | 0 | iter->srcmap.offset | 0 |
| PARAM_VALUE | 0 | iter->srcmap.private | 0 |
| PARAM_VALUE | 0 | iter->srcmap.validity_cookie | 0 |
| PARAM_VALUE | 1 | ctx | 503305205262442496,1548533526702006272,1800538141110026240,3334184833725390848,4247151193897095168,7001810123882524672,7653921018221420544,9182356409497632768 |
| PARAM_VALUE | 1 | ctx->cur_folio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->ops | 2431415166071943168,2661645870579138560,2940830922071597056,3293253056793415680,3883081300587270144,4854591757091811328 |
| PARAM_VALUE | 1 | ctx->ops->submit_read | 1742213075511402496,2205222934983155712,4637273531631935488,4925539517400395776,5891173013600063488 |
| PARAM_VALUE | 1 | ctx->rac | 0 |
| PARAM_VALUE | 1 | ctx->read_ctx | 4096-ptr_max |
| DATA_SOURCE | 1 | ctx | $1 |
| CONTAINER | 1 | -8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/iomap/buffered-io.c iomap_readahead() -> (struct iomap_read_ops)->submit_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 3364473653970825216 |
| PARAM_VALUE | 0 | iter->fbatch | 0 |
| PARAM_VALUE | 0 | iter->flags | 0 |
| PARAM_VALUE | 0 | iter->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | iter->iomap.addr | 0 |
| PARAM_VALUE | 0 | iter->iomap.bdev | 0 |
| PARAM_VALUE | 0 | iter->iomap.dax_dev | 0 |
| PARAM_VALUE | 0 | iter->iomap.flags | 0 |
| PARAM_VALUE | 0 | iter->iomap.inline_data | 0 |
| PARAM_VALUE | 0 | iter->iomap.length | 0 |
| PARAM_VALUE | 0 | iter->iomap.offset | 0 |
| PARAM_VALUE | 0 | iter->iomap.private | 0 |
| PARAM_VALUE | 0 | iter->iomap.type | 0 |
| PARAM_VALUE | 0 | iter->iomap.validity_cookie | 0 |
| PARAM_VALUE | 0 | iter->private | 0,773317525888487424 |
| PARAM_VALUE | 0 | iter->srcmap.addr | 0 |
| PARAM_VALUE | 0 | iter->srcmap.bdev | 0 |
| PARAM_VALUE | 0 | iter->srcmap.dax_dev | 0 |
| PARAM_VALUE | 0 | iter->srcmap.flags | 0 |
| PARAM_VALUE | 0 | iter->srcmap.inline_data | 0 |
| PARAM_VALUE | 0 | iter->srcmap.length | 0 |
| PARAM_VALUE | 0 | iter->srcmap.offset | 0 |
| PARAM_VALUE | 0 | iter->srcmap.private | 0 |
| PARAM_VALUE | 0 | iter->srcmap.validity_cookie | 0 |
| PARAM_VALUE | 1 | ctx | 822130149331533824,1104982637816799232,1689632596882644992,3842672544902602752,4179261174125330432,5287267698578399232,7540462364083941376,7577866206378778624 |
| PARAM_VALUE | 1 | ctx->cur_folio | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->_hugetlb_subpool | 0 |
| PARAM_VALUE | 1 | ctx->cur_folio->lru.next | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->lru.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->mapping | 0 |
| PARAM_VALUE | 1 | ctx->cur_folio->page.buddy_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->page.buddy_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->page.memcg_data | 0 |
| PARAM_VALUE | 1 | ctx->cur_folio->page.pcp_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->page.pcp_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->page.zone_device_data->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->cur_folio->page.zone_device_data->memcg_data | 0 |
| PARAM_VALUE | 1 | ctx->cur_folio->pgmap->ref.data | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->pgmap->ref.percpu_count_ptr | 1-u64max |
| PARAM_VALUE | 1 | ctx->cur_folio->private->read_bytes_pending | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->cur_folio->private->state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ctx->ops | 2431415166071943168,2661645870579138560,2940830922071597056,3293253056793415680,3883081300587270144,4854591757091811328 |
| PARAM_VALUE | 1 | ctx->ops->submit_read | 1742213075511402496,2205222934983155712,4637273531631935488,4925539517400395776,5891173013600063488 |
| PARAM_VALUE | 1 | ctx->rac | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->rac->mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->read_ctx | 4096-ptr_max |
| DATA_SOURCE | 1 | ctx | $1 |
| CONTAINER | 1 | -8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/iomap/bio.c iomap_read_alloc_bio() -> (struct iomap_read_ops)->submit_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 3364473653970825216,6082641349340434432 |
| PARAM_VALUE | 0 | iter->fbatch | 0 |
| PARAM_VALUE | 0 | iter->flags | 0 |
| PARAM_VALUE | 0 | iter->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | iter->iomap.type | 0-3,5-u16max |
| PARAM_VALUE | 0 | iter->private | 0,773317525888487424,4117408191789748224 |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cur_folio->mapping->host->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 1 | ctx->cur_folio->mapping->host->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 1 | ctx->cur_folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2712 |
| PARAM_VALUE | 1 | ctx->cur_folio->mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 1 | ctx->cur_folio->mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 1 | ctx->ops | 2431415166071943168,2661645870579138560,2940830922071597056,3293253056793415680,3883081300587270144,4854591757091811328 |
| PARAM_VALUE | 1 | ctx->ops->bio_set | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ctx->ops->submit_read | 0,1742213075511402496,2205222934983155712,4637273531631935488,4925539517400395776,5891173013600063488 |
| PARAM_VALUE | 1 | ctx->rac | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ctx->rac->mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->read_ctx | 4096-ptr_max |
| BUF_SIZE | 0 | iter->private | (-1),24 |
| BUF_SIZE | 1 | ctx->ops | 24 |
| BUF_SIZE | 1 | ctx->read_ctx | (-1),32 |
| DATA_SOURCE | 0 | iter | $0 |
| DATA_SOURCE | 1 | ctx | $1 |
| CONTAINER | 1 | -8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mapping->invalidate_lock |