| PARAM_VALUE |
0 |
ap |
7078978139519856640,7228274775691866112 |
| PARAM_VALUE |
0 |
ap->eof |
0 |
| PARAM_VALUE |
0 |
ap->flags |
0,2-u32max |
| PARAM_VALUE |
0 |
ap->got.br_state |
0-1 |
| PARAM_VALUE |
0 |
ap->ip |
4096-ptr_max |
| PARAM_VALUE |
0 |
ap->ip->i_mount |
4096-ptr_max |
| PARAM_VALUE |
0 |
ap->ip->i_mount->m_errortag |
4096-ptr_max |
| PARAM_VALUE |
0 |
ap->logflags |
0-s32max |
| PARAM_VALUE |
1 |
args |
6378406742512791552 |
| PARAM_VALUE |
1 |
args->agbp |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
args->alignment |
1-u32max |
| PARAM_VALUE |
1 |
args->fsbno |
0-18446744073709551614 |
| PARAM_VALUE |
1 |
args->mp |
4096-ptr_max |
| PARAM_VALUE |
1 |
args->pag |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
args->resv |
0 |
| PARAM_VALUE |
1 |
args->wasdel |
0-1 |
| PARAM_VALUE |
1 |
args->wasfromfl |
0-1 |
| PARAM_VALUE |
2 |
orig_offset |
0-18446744073709551614 |
| DATA_SOURCE |
0 |
ap |
$0 |
| NOSPEC |
0 |
ap->minlen |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
ap->aeof |
0-1 |
| USER_DATA |
0 |
ap->got.br_blockcount |
0-2097151[c] |
| USER_DATA |
0 |
ap->got.br_startoff |
0-s32max[c] |
| USER_DATA |
0 |
ap->length |
0-2097151,4292870145-u32max |
| USER_DATA |
0 |
ap->minlen |
0-2097151[c] |
| USER_DATA |
0 |
ap->offset |
0-u64max[c] |
| USER_DATA |
0 |
ap->prev.br_blockcount |
0-2097151[c] |
| USER_DATA |
0 |
ap->prev.br_startoff |
0-s32max[c] |
| USER_DATA |
1 |
args->minlen |
0-u32max[c] |
| USER_DATA |
1 |
args->total |
0-2097151[c] |
| USER_DATA |
2 |
orig_offset |
0-s32max[c] |
| USER_DATA |
3 |
orig_length |
0-2097151[c] |
| NO_OVERFLOW_SIMPLE |
1 |
args->agbno |
|
| UNITS |
2 |
orig_offset |
unit_array_size |
| UNITS |
3 |
orig_length |
unit_array_size |
