| PARAM_VALUE |
0 |
mp |
4096-ptr_max |
| PARAM_VALUE |
2 |
ip |
4096-ptr_max |
| PARAM_VALUE |
2 |
ip->i_lock.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
2 |
ip->i_lock.first_waiter->type |
0-1 |
| PARAM_VALUE |
3 |
whichfork |
0-2 |
| PARAM_VALUE |
4 |
PREV |
4096-ptr_max |
| PARAM_VALUE |
4 |
PREV->br_state |
0-1 |
| BUF_SIZE |
4 |
PREV |
(-1),96 |
| BUF_SIZE |
4 |
PREV |
(-1),96 |
| CAPPED_DATA |
4 |
PREV->br_state |
1 |
| DATA_SOURCE |
1 |
tp |
$0 |
| DATA_SOURCE |
2 |
ip |
$1 |
| DATA_SOURCE |
3 |
whichfork |
$2 |
| DATA_SOURCE |
4 |
PREV |
$5 |
| FUZZY_MAX |
4 |
PREV->br_state |
1 |
| NOSPEC |
2 |
ip->i_disk_size |
|
| NOSPEC |
4 |
PREV->br_startoff |
|
| HARD_MAX |
4 |
PREV->br_state |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
2 |
ip->i_disk_size |
(-9223372036854775807)-(-4096),0-s64max[c] |
| USER_DATA |
4 |
PREV->br_blockcount |
0-18014398509481983,18446744069414584321-u64max |
| USER_DATA |
4 |
PREV->br_startblock |
0-4503603922337790[u] |
| USER_DATA |
4 |
PREV->br_startoff |
0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE |
1 |
tp->t_blk_res |
|
| NO_OVERFLOW_SIMPLE |
2 |
ip->i_pdquot->q_id |
|
| UNITS |
0 |
mp |
unit_byte |
| UNITS |
2 |
ip |
unit_byte |
