| PARAM_VALUE |
0 |
args |
6378406742512791552 |
| PARAM_VALUE |
0 |
args->agbno |
u32max |
| PARAM_VALUE |
0 |
args->agbp |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_bno_level |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_bno_root |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_btreeblks |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_cnt_level |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_cnt_root |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_flcount |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_flfirst |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_freeblks |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_refcount_level |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_refcount_root |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_rmap_blocks |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_rmap_level |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agf_rmap_root |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agi_free_level |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agi_free_root |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agi_level |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_addr->agi_root |
0-4294967295 |
| PARAM_VALUE |
0 |
args->agbp->b_log_item->bli_flags |
0,2-u32max |
| PARAM_VALUE |
0 |
args->agno |
u32max |
| PARAM_VALUE |
0 |
args->alignment |
1-u32max |
| PARAM_VALUE |
0 |
args->datatype |
0,4-5,7 |
| PARAM_VALUE |
0 |
args->fsbno |
u64max |
| PARAM_VALUE |
0 |
args->maxlen |
0-4294967294 |
| PARAM_VALUE |
0 |
args->min_agbno |
0 |
| PARAM_VALUE |
0 |
args->minalignslop |
0 |
| PARAM_VALUE |
0 |
args->minleft |
0-65536 |
| 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->oinfo.oi_flags |
0 |
| PARAM_VALUE |
0 |
args->oinfo.oi_offset |
0 |
| PARAM_VALUE |
0 |
args->oinfo.oi_owner |
0 |
| PARAM_VALUE |
0 |
args->pag |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
args->prod |
1-u32max |
| PARAM_VALUE |
0 |
args->resv |
0 |
| PARAM_VALUE |
0 |
args->tp |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->wasdel |
0-1 |
| PARAM_VALUE |
0 |
args->wasfromfl |
0-1 |
| PARAM_VALUE |
1 |
minimum_agno |
0-4294967294 |
| PARAM_VALUE |
3 |
target_agbno |
0 |
| PARAM_VALUE |
4 |
alloc_flags |
1 |
| CAPPED_DATA |
0 |
args->minlen |
1 |
| CAPPED_DATA |
0 |
args->mod |
1 |
| CAPPED_DATA |
0 |
args->tp |
1 |
| DATA_SOURCE |
0 |
args |
$0 |
| STR_LEN |
0 |
args->tp |
(-1)-1024 |
| PARAM_COMPARE |
0 |
args->minlen |
<= $0->mp->m_sb.sb_agblocks |
| PARAM_COMPARE |
0 |
args->mod |
< $0->prod |
| PARAM_COMPARE |
1 |
minimum_agno |
<= $2 |
| PARAM_COMPARE |
2 |
start_agno |
>= $1 |
| NOSPEC |
0 |
args->maxlen |
|
| NOSPEC |
0 |
args->minlen |
|
| NOSPEC |
0 |
args->total |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
0 |
args->maxlen |
0-2097151[c] |
| USER_DATA |
0 |
args->minlen |
0-u32max[c] |
| USER_DATA |
0 |
args->total |
0-2097151[c] |
| NO_OVERFLOW_SIMPLE |
0 |
args->agbno |
|