| PARAM_VALUE |
0 |
file |
4096-ptr_max |
| PARAM_VALUE |
0 |
file->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
file->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
file->f_path.dentry->d_inode->i_rwsem.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
file->f_path.dentry->d_inode->i_rwsem.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
file->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs |
1632,1720,1808,2632,2648,2704,2712 |
| BUF_SIZE |
0 |
file |
(-1),1-s32max |
| BUF_SIZE |
0 |
file |
(-1),1-s32max |
| DATA_SOURCE |
0 |
file |
$0 |
| DATA_SOURCE |
1 |
offset |
$2 |
| DATA_SOURCE |
2 |
len |
$3 |
| NOSPEC |
1 |
offset |
|
| NOSPEC |
1 |
offset |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
0 |
file->f_flags |
0-u32max |
| USER_DATA |
0 |
file->f_mode |
33554432-u32max |
| USER_DATA |
0 |
file->f_path.dentry->d_inode->i_mode |
0-u16max |
| USER_DATA |
0 |
file->f_path.dentry->d_inode->i_size |
(-9223372036854775807)-(-4),0-s64max |
| USER_DATA |
1 |
offset |
0-s64max |
| USER_DATA |
2 |
len |
1-s64max |
| NO_OVERFLOW_SIMPLE |
0 |
file->f_path.d_inode->i_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
file->f_path.dentry->dentry->d_inode->i_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
file->f_path.dentry->moved->d_inode->i_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
file->f_path.moved->d_inode->i_size |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
