Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 38 files:
- fs/adfs/file.c, line 27
- fs/affs/file.c, line 1005
- fs/bfs/file.c, line 28
- fs/ceph/file.c, line 2235
- fs/cramfs/inode.c, line 485
- fs/ecryptfs/file.c, line 38
- fs/exfat/file.c, line 937
- fs/ext2/file.c, line 173
- fs/ext4/file.c
- fs/fat/file.c, line 207
- fs/fuse/file.c, line 1133
- fs/gfs2/file.c
- fs/hfs/inode.c, line 718
- fs/hfsplus/inode.c, line 459
- fs/hostfs/hostfs_kern.c, line 383
- fs/hpfs/file.c, line 262
- fs/jffs2/file.c, line 57
- fs/jfs/file.c, line 148
- fs/minix/file.c, line 19
- fs/nfs/file.c, line 187
- fs/nilfs2/file.c, line 151
- fs/ntfs/file.c, line 461
- fs/ntfs3/file.c, line 864
- fs/ocfs2/file.c, line 2601
- fs/omfs/file.c, line 334
- fs/orangefs/file.c, line 334
- fs/ramfs/file-mmu.c, line 42
- fs/ramfs/file-nommu.c, line 43
- fs/read_write.c, line 31
- fs/romfs/mmap-nommu.c, line 80
- fs/squashfs/file.c, line 777
- fs/ubifs/file.c, line 1655
- fs/udf/file.c, line 202
- fs/ufs/file.c, line 40
- fs/vboxsf/file.c, line 214
- fs/xfs/xfs_file.c, line 323
- fs/zonefs/file.c, line 681
- mm/filemap.c, line 3018
Smatch caller information:
fs/orangefs/file.c orangefs_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/nfs/file.c nfs_file_read() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdfff7 |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext2/file.c ext2_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdffff |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/nilfs2/file.c nilfs_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdffff |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/ocfs2/file.c ocfs2_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_path.dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->private | 0 |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/exfat/file.c exfat_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_sb | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdffff |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/file.c ext4_dax_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/ext4/file.c ext4_dio_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_flags | 0-2147352575 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdffff |
fs/ext4/file.c ext4_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdffff |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/ntfs/file.c ntfs_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdffff |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| LOCK2 | &vi->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ecryptfs/file.c ecryptfs_read_update_atime() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/xfs/xfs_file.c xfs_file_buffered_read() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdffff |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/gfs2/file.c gfs2_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_flags | 0,1048576-s32max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x100000,0x7ffdffff |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0,1048576-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/gfs2/file.c gfs2_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_path.dentry->d_inode->i_sb->s_export_op->fh_to_parent | 0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_path.dentry->d_inode->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_filp->f_ra.prev_pos | 0-15737418236[c] |
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 0-u64max |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/zonefs/file.c zonefs_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_pos | s64min-9223372036854775806 |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| PARAM_VALUE | 1 | iter->count | 1-18446744073709551614 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| CAPPED_DATA | 0 | iocb->ki_pos | 1 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdffff |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941[c] |
| USER_DATA | 1 | iter->count | 1-18446744073709551614[c] |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ntfs3/file.c ntfs_file_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_flags | 0-2147352575 |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdffff |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-2147352575[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
fs/ceph/file.c ceph_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_sb->s_fs_info->mdsc->cap_wait_list.next->next | 8374781174969200640 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_sb->s_fs_info->mdsc->cap_wait_list.next->prev | 8374781174969200640 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_sb->s_fs_info->mdsc->caps_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_sb->s_fs_info->mount_state | s32min-3 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_wb->dwork.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_inode->i_wb->dwork.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | iocb->ki_filp->private_data->fmode | s16min-(-1),2-s16max |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| BIT_INFO | 0 | iocb->ki_flags | 0x0,0x7ffdffff |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_filp->f_inode->i_blocks | 0-18014398509481984[c] |
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 0-u64max |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/fuse/file.c fuse_cache_read_iter() -> generic_file_read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | iocb->ki_filp->f_mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| BUF_SIZE | 0 | iocb | (-1),48 |
| BUF_SIZE | 0 | iocb | (-1),48 |
| DATA_SOURCE | 0 | iocb | $0 |
| DATA_SOURCE | 1 | iter | $1 |
| NOSPEC | 0 | iocb->ki_pos | |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
| HALF_LOCKED2 | &pool->lock |
drivers/block/zloop.c zloop_do_rw() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_complete | 8459132655968817152 |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_ioprio | 0 |
| PARAM_VALUE | 0 | iocb->ki_pos | s64min-(-512),0,512-s64max |
| PARAM_VALUE | 1 | iter | 4512932090484486144 |
| PARAM_VALUE | 1 | iter->iov_offset | 0-u32max |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &zone->lock |
fs/splice.c copy_splice_read() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 3904494243464249344 |
| PARAM_VALUE | 1 | iter | 3280263991784574976 |
| NOSPEC | 0 | iocb->ki_pos | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_pos | 0-13442450941 |
fs/aio.c aio_read() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_complete | 683869007495086080 |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_op->read_iter | 1-u64max |
| PARAM_VALUE | 0 | iocb->ki_flags | 0,2-2147483646 |
| PARAM_VALUE | 0 | iocb->ki_pos | 0-1000000000 |
| PARAM_VALUE | 0 | iocb->ki_write_stream | 0 |
| PARAM_VALUE | 0 | iocb->private | 0 |
| PARAM_VALUE | 1 | iter | 180102883164901376 |
| DATA_SOURCE | 0 | iocb | $0 |
| USER_DATA | 0 | iocb->ki_flags | 0,2-2147483646[c][u] |
| USER_DATA | 0 | iocb->ki_ioprio | 0-u16max |
| USER_DATA | 0 | iocb->ki_pos | 0-1000000000 |
fs/read_write.c __kernel_read() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 2886570939956572160 |
| PARAM_VALUE | 1 | iter | 6416989889908572160 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | iocb->ki_pos |
fs/read_write.c do_iter_readv_writev() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 8928323583060017152 |
| PARAM_VALUE | 0 | iocb->ki_pos | 0-1000000000 |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| DATA_SOURCE | 1 | iter | $1 |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | iocb->ki_flags | 0-s32max[c][u] |
| USER_DATA | 0 | iocb->ki_pos | 0-1000000000 |
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
fs/read_write.c new_sync_read() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 8566225331814866944 |
| PARAM_VALUE | 0 | iocb->ki_pos | 0-1000000000 |
| PARAM_VALUE | 1 | iter | 1897402466651123712 |
| USER_DATA | 0 | iocb->ki_pos | 0-1000000000 |
fs/read_write.c vfs_iocb_iter_read() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_pos | 0-1000000000 |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| DATA_SOURCE | 0 | iocb | $1 |
| DATA_SOURCE | 1 | iter | $2 |
| NOSPEC | 1 | iter->count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | iter->count | 1-1000000000 |
| USER_DATA | 1 | iter->iov_offset | 0-u64max[c] |
drivers/block/loop.c lo_rw_aio() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_complete | 0,8446262464815783936 |
| PARAM_VALUE | 0 | iocb->ki_flags | 0,131072 |
| PARAM_VALUE | 1 | iter | 4986616275652591616 |
| PARAM_VALUE | 1 | iter->iov_offset | 0-u32max |
| LOCK2 | &pool->lock |
drivers/accel/habanalabs/common/hldio.c hl_direct_io() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| CONTAINER | 0 | -40-80-8-0+16 | $(-1) |
| CONTAINER | 1 | -40-80-8-0+72 | $(-1) |
drivers/target/target_core_file.c fd_execute_rw_aio() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_complete | 6460172474054909952 |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_flags | 131072 |
| PARAM_VALUE | 1 | iter | 8990917934472527872 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->caw_sem | ||
| HALF_LOCKED2 | &pool->lock |
io_uring/rw.c io_iter_do_read() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| DATA_SOURCE | 1 | iter | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/nfs/localio.c nfs_local_call_read() -> (struct file_operations)->read_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_flags | 0-s32max |
| PARAM_VALUE | 1 | iter | 4096-ptr_max |
| HALF_LOCKED2 | &pool->lock |
drivers/nvme/target/io-cmd-file.c nvmet_file_submit_bvec() -> nvmet_file_submit_bvec ptr call_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iocb | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp | 4096-ptr_max |
| PARAM_VALUE | 0 | iocb->ki_filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 1 | iter | 5359588537460973568 |
| BUF_SIZE | 0 | iocb | 48 |
| MEM_ZERO | 0 | iocb | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |