| PARAM_VALUE |
0 |
iocb |
5929417642793811968,7711216922854236160 |
| PARAM_VALUE |
0 |
iocb->ki_filp |
4096-ptr_max |
| PARAM_VALUE |
0 |
iocb->ki_filp->f_path.dentry->d_inode->i_io_list.next |
4096-ptr_max |
| PARAM_VALUE |
0 |
iocb->ki_filp->f_path.dentry->d_inode->i_io_list.next->prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iocb->ki_filp->f_path.dentry->d_inode->i_io_list.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iocb->ki_filp->f_path.dentry->d_inode->i_io_list.prev->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
iocb->ki_filp->f_path.dentry->d_inode->i_lock.rlock.dep_map->name |
0-255 |
| 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 |
| PARAM_VALUE |
0 |
iocb->ki_filp->f_path.dentry->d_inode->i_sb->s_export_op->get_parent |
0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE |
0 |
iocb->ki_filp->f_path.dentry->d_inode->i_wb->dwork->timer->entry.pprev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iocb->ki_filp->f_path.dentry->d_inode->i_wb->dwork.work.entry.next->prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iocb->ki_filp->f_path.dentry->d_inode->i_wb->list_lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
iocb->ki_filp->f_path.dentry->d_inode->i_wb->work_lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
iocb->ki_pos |
0-1000000000 |
| PARAM_VALUE |
1 |
iter |
4096-ptr_max |
| PARAM_VALUE |
2 |
start |
0-5294967294 |
| PARAM_VALUE |
3 |
lockend |
131071-5295098365 |
| PARAM_VALUE |
4 |
cached_state |
4877488597679865856,8748874923462721536 |
| PARAM_VALUE |
6 |
count |
0-1000000000 |
| PARAM_VALUE |
7 |
encoded |
1-u64max |
| PARAM_VALUE |
7 |
encoded->len |
0-1000000000 |
| PARAM_VALUE |
8 |
unlocked |
5232486845912731648 |
| PARAM_VALUE |
8 |
*unlocked |
0 |
| CAPPED_DATA |
0 |
iocb->ki_pos |
1 |
| CAPPED_DATA |
2 |
start |
1 |
| CAPPED_DATA |
2 |
start |
1 |
| CAPPED_DATA |
3 |
lockend |
1 |
| CAPPED_DATA |
3 |
lockend |
1 |
| DATA_SOURCE |
0 |
iocb |
$0 |
| DATA_SOURCE |
1 |
iter |
$1 |
| DATA_SOURCE |
4 |
cached_state |
$3 |
| DATA_SOURCE |
6 |
count |
r iov_iter_count |
| DATA_SOURCE |
7 |
encoded |
$2 |
| CAPABLE |
0 |
21 |
|
| PARAM_COMPARE |
3 |
lockend |
< $2 |
| PARAM_COMPARE |
3 |
lockend |
== $2 |
| PARAM_COMPARE |
6 |
count |
== $1->count |
| PARAM_COMPARE |
6 |
count |
== $1->count |
| CONSTRAINT |
0 |
iocb->ki_pos |
<3994 |
| NOSPEC |
0 |
iocb->ki_pos |
|
| NOSPEC |
2 |
start |
|
| NOSPEC |
2 |
start |
|
| NOSPEC |
3 |
lockend |
|
| NOSPEC |
3 |
lockend |
|
| NOSPEC |
4 |
*cached_state->end |
|
| NOSPEC |
4 |
*cached_state->start |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
0 |
iocb->ki_pos |
0-1000000000[c] |
| USER_DATA |
2 |
start |
0-9223372036854775807[c] |
| USER_DATA |
3 |
lockend |
131071-9223372036854906878[c] |
| USER_DATA |
4 |
*cached_state->end |
(-1)-s64max[u] |
| USER_DATA |
4 |
*cached_state->start |
s64min-s64max |
| USER_DATA |
6 |
count |
0-1000000000 |
| USER_DATA |
7 |
encoded->compression |
0-u32max |
| USER_DATA |
7 |
encoded->encryption |
0-u32max |
| USER_DATA |
7 |
encoded->flags |
0 |
| USER_DATA |
7 |
encoded->iovcnt |
0-u64max |
| USER_DATA |
7 |
encoded->len |
0-1000000000 |
| USER_DATA |
7 |
encoded->offset |
s64min-s64max |
| USER_DATA |
7 |
encoded->unencoded_len |
0-u64max |
| USER_DATA |
7 |
encoded->unencoded_offset |
0-u64max |
| UNITS |
5 |
extent_start |
unit_byte |
| USER_PTR |
7 |
encoded->reserved |
|
| LOCK2 |
|
&inode->vfs_inode.i_rwsem |
|
| TYPE_LOCK |
|
(struct inode)->i_rwsem |
|
