Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/iomap/direct-io.c __iomap_dio_rw() -> iomap_dio_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 4571140720360820736 |
| PARAM_VALUE | 0 | iter->fbatch | 0 |
| PARAM_VALUE | 0 | iter->flags | 16-17,48-49,81,113,529,561,593,625 |
| 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.flags | 0 |
| PARAM_VALUE | 0 | iter->iomap.length | 0 |
| PARAM_VALUE | 0 | iter->iomap.offset | 0 |
| PARAM_VALUE | 0 | iter->iomap.type | 0 |
| PARAM_VALUE | 0 | iter->private | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iter->srcmap.length | 0 |
| PARAM_VALUE | 0 | iter->srcmap.offset | 0 |
| PARAM_VALUE | 0 | iter->srcmap.type | 0 |
| PARAM_VALUE | 0 | iter->status | 0 |
| PARAM_VALUE | 1 | dio | 4096-ptr_max |
| PARAM_VALUE | 1 | dio->done_before | 0-9223372036854775807 |
| PARAM_VALUE | 1 | dio->dops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dio->dops->bio_set | 0,520829755391766528,7070012112444383232 |
| PARAM_VALUE | 1 | dio->dops->end_io | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dio->error | 0 |
| PARAM_VALUE | 1 | dio->flags | 0,8-24,1073741824,1073741832-1073741848,1207959552,1207959560-1207959576,1610612736,1610612744-1610612760,1744830464,1744830472-1744830488,1879048192,1879048200-1879048216,2013265920,2013265928-2013265944,2147483648-u32max |
| PARAM_VALUE | 1 | dio->iocb | 4096-ptr_max |
| PARAM_VALUE | 1 | dio->iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 1 | dio->ref.counter | 1 |
| PARAM_VALUE | 1 | dio->submit.iter | 4096-ptr_max |
| BUF_SIZE | 1 | dio | 144 |
| CAPPED_DATA | 1 | dio->done_before | 1 |
| DATA_SOURCE | 1 | dio | r _kmalloc_noprof |
| BIT_INFO | 1 | dio->flags | 0x0,0xf8000018 |
| NOSPEC | 0 | iter->iter_start_pos | |
| NOSPEC | 0 | iter->len | |
| NOSPEC | 1 | dio->done_before | |
| NOSPEC | 1 | dio->submit.iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iter->iter_start_pos | s64min-s64max |
| USER_DATA | 0 | iter->len | 1-1000000000 |
| USER_DATA | 0 | iter->pos | s64min-(-2),0-s64max |
| USER_DATA | 1 | dio->done_before | 5-9223372036854775807[c] |
| USER_DATA | 1 | dio->iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 1 | dio->iocb->ki_ioprio | 0-u16max |
| USER_DATA | 1 | dio->iocb->ki_pos | s64min-(-2),0-s64max |
| USER_DATA | 1 | dio->submit.iter->count | 0-18446744073709551614 |
| USER_DATA | 1 | dio->submit.iter->iov_offset | 0-u64max[c] |