| PARAM_VALUE |
0 |
args |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->agbp |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->agbp->b_flags |
0,2-u32max |
| PARAM_VALUE |
0 |
args->alignment |
1-u32max |
| PARAM_VALUE |
0 |
args->fsbno |
u64max |
| PARAM_VALUE |
0 |
args->mod |
0-4294967294 |
| PARAM_VALUE |
0 |
args->mp |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->mp->m_sb.sb_agblocks |
1-u32max |
| PARAM_VALUE |
0 |
args->mp->m_sb.sb_agcount |
1-u32max |
| PARAM_VALUE |
0 |
args->pag |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->prod |
1-u32max |
| PARAM_VALUE |
0 |
args->resv |
0,2-3,5 |
| PARAM_VALUE |
0 |
args->tp |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->tp->t_dfops.prev->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->tp->t_dfops.prev->next->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->tp->t_items.prev->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->tp->t_items.prev->next->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->wasdel |
0-2 |
| PARAM_VALUE |
0 |
args->wasfromfl |
0 |
| PARAM_VALUE |
1 |
acur |
6997322702562979840 |
| PARAM_VALUE |
1 |
acur->bno |
0-4294967294 |
| PARAM_VALUE |
1 |
acur->cnt |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
acur->len |
0 |
| CAPPED_DATA |
0 |
args->mod |
1 |
| CAPPED_DATA |
0 |
args->mp->m_sb.sb_agcount |
1 |
| CAPPED_DATA |
0 |
args->prod |
1 |
| DATA_SOURCE |
0 |
args |
$0 |
| STR_LEN |
0 |
args->tp |
(-1)-1024 |
| NOSPEC |
0 |
args->total |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
0 |
args->total |
0-2097151[c] |
| NO_OVERFLOW_SIMPLE |
0 |
args->agbno |
|
| NO_OVERFLOW_SIMPLE |
0 |
args->tp->t_blk_res |
|
| NO_OVERFLOW_SIMPLE |
0 |
args->tp->t_rtx_res_used |
|
| NO_OVERFLOW_SIMPLE |
1 |
acur->bno |
|
