| PARAM_VALUE |
0 |
fxr |
2485469382734839808,4643382934292082688 |
| PARAM_VALUE |
0 |
fxr->file1->f_mode |
33554432-u32max |
| PARAM_VALUE |
0 |
fxr->file2->f_mode |
33554432-u32max |
| PARAM_VALUE |
0 |
fxr->file2_ctime.tv_nsec |
s32min-s32max |
| PARAM_VALUE |
0 |
fxr->file2_mtime.tv_nsec |
s32min-s32max |
| PARAM_VALUE |
1 |
ip2 |
4096-ptr_max |
| CAPPED_DATA |
0 |
fxr->file1->f_inode |
1 |
| CAPPED_DATA |
0 |
fxr->file1->f_inode->i_size |
1 |
| CAPPED_DATA |
0 |
fxr->file1->f_path.mnt |
1 |
| CAPPED_DATA |
0 |
fxr->file1_offset |
1 |
| CAPPED_DATA |
0 |
fxr->file2->f_inode |
1 |
| CAPPED_DATA |
0 |
fxr->file2->f_inode->i_size |
1 |
| CAPPED_DATA |
0 |
fxr->file2->f_path.mnt |
1 |
| CAPPED_DATA |
0 |
fxr->file2_offset |
1 |
| CAPPED_DATA |
1 |
ip2 |
1 |
| DATA_SOURCE |
0 |
fxr |
$0 |
| DATA_SOURCE |
1 |
ip2 |
$2 |
| PARAM_COMPARE |
0 |
fxr->file1->f_inode->i_size |
>= $0->file1_offset |
| PARAM_COMPARE |
0 |
fxr->file2->f_inode->i_size |
>= $0->file2_offset |
| BIT_INFO |
0 |
fxr->file1->f_flags |
0x0,0xfffffbff |
| BIT_INFO |
0 |
fxr->file1->f_mode |
0x3,0xffffffffffffffff |
| BIT_INFO |
0 |
fxr->file2->f_flags |
0x0,0xfffffbff |
| BIT_INFO |
0 |
fxr->file2->f_mode |
0x3,0xffffffffffffffff |
| BIT_INFO |
0 |
fxr->file2_ctime.tv_nsec |
0x0,0xffffffff |
| BIT_INFO |
0 |
fxr->file2_mtime.tv_nsec |
0x0,0xffffffff |
| BIT_INFO |
0 |
fxr->flags |
0x2000000000000000,0xffffffffffffffff |
| USER_DATA |
0 |
fxr->file1_offset |
0-9223372036854775806[c] |
| USER_DATA |
0 |
fxr->file2_offset |
0-9223372036854775806[c] |
| USER_DATA |
0 |
fxr->flags |
0-16,2305843009213693952-2305843009213693968 |
| NO_OVERFLOW_SIMPLE |
0 |
fxr->file1_offset |
|
| NO_OVERFLOW_SIMPLE |
0 |
fxr->file2_offset |
|
