Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_lastblock() -> xfs_alloc_walk_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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_filestream->grp_count | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_filestream->queued | 0-4294967295 |
| 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 |
| PARAM_VALUE | 1 | acur->busy | 0 |
| PARAM_VALUE | 1 | acur->busy_gen | 0 |
| PARAM_VALUE | 1 | acur->cnt | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 1 | acur->diff | u32max |
| PARAM_VALUE | 1 | acur->len | 0 |
| PARAM_VALUE | 1 | acur->rec_bno | 0 |
| PARAM_VALUE | 1 | acur->rec_len | 0 |
| PARAM_VALUE | 2 | cur | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 3 | increment | 1 |
| PARAM_VALUE | 4 | find_one | 0 |
| PARAM_VALUE | 5 | count | (-1) |
| PARAM_VALUE | 6 | stat | 6588859682424877056 |
| CAPPED_DATA | 0 | args->mod | 1 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 1 | acur | $1 |
| FUZZY_MAX | 0 | args->alignment | 2 |
| 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->agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | args->tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | args->tp->t_rtx_res_used |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_locality() -> xfs_alloc_walk_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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_filestream->grp_count | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_filestream->queued | 0-4294967295 |
| 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->bnogt | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_nlevels | 1-255 |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | acur->bnogt->bc_rec.a.ar_blockcount | 0 |
| PARAM_VALUE | 1 | acur->bnolt | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_nlevels | 1-255 |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | acur->bnolt->bc_rec.a.ar_blockcount | 0 |
| PARAM_VALUE | 1 | acur->cnt | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 1 | acur->cnt->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_nlevels | 1-255 |
| PARAM_VALUE | 1 | acur->cnt->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->type | 0-2 |
| PARAM_VALUE | 2 | cur | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_nlevels | 1-255 |
| PARAM_VALUE | 2 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 2 | cur->bc_rec.a.ar_blockcount | 0 |
| PARAM_VALUE | 3 | increment | 0 |
| PARAM_VALUE | 4 | find_one | 1 |
| PARAM_VALUE | 5 | count | 1 |
| PARAM_VALUE | 6 | stat | 7757883537713770496 |
| PARAM_VALUE | 6 | *stat | 0-1 |
| CAPPED_DATA | 0 | args->mod | 1 |
| CAPPED_DATA | 1 | acur->cnt->bc_nlevels | 1 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 1 | acur | $1 |
| 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->agbp->b_map_count | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | acur->bnogt->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | acur->bnolt->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | acur->cnt->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 2 | cur->bc_rec.a.ar_startblock |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_locality() -> xfs_alloc_walk_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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_filestream->grp_count | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_filestream->queued | 0-4294967295 |
| 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->bnogt | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | acur->bnogt->bc_nlevels | 1-255 |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | acur->bnogt->bc_rec.a.ar_blockcount | 0 |
| PARAM_VALUE | 1 | acur->bnolt | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | acur->bnolt->bc_nlevels | 1-255 |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | acur->bnolt->bc_rec.a.ar_blockcount | 0 |
| PARAM_VALUE | 1 | acur->cnt | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 1 | acur->cnt->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | acur->cnt->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | acur->cnt->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | acur->cnt->bc_nlevels | 1-255 |
| PARAM_VALUE | 1 | acur->cnt->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->type | 0-2 |
| PARAM_VALUE | 2 | cur | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 2 | cur->bc_nlevels | 1-255 |
| PARAM_VALUE | 2 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 2 | cur->bc_rec.a.ar_blockcount | 0 |
| PARAM_VALUE | 3 | increment | 1 |
| PARAM_VALUE | 4 | find_one | 1 |
| PARAM_VALUE | 5 | count | 1 |
| PARAM_VALUE | 6 | stat | 7757883537713770496 |
| PARAM_VALUE | 6 | *stat | 0 |
| CAPPED_DATA | 0 | args->mod | 1 |
| CAPPED_DATA | 1 | acur->cnt->bc_nlevels | 1 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 1 | acur | $1 |
| 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->agbp->b_map_count | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | acur->bnogt->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | acur->bnolt->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | acur->cnt->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 2 | cur->bc_rec.a.ar_startblock |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_locality() -> xfs_alloc_walk_iter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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_filestream->grp_count | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_filestream->queued | 0-4294967295 |
| 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->bnogt | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_nlevels | 1-255 |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnogt->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | acur->bnogt->bc_rec.a.ar_blockcount | 0 |
| PARAM_VALUE | 1 | acur->bnolt | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_nlevels | 1-255 |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->bnolt->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | acur->bnolt->bc_rec.a.ar_blockcount | 0 |
| PARAM_VALUE | 1 | acur->cnt | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 1 | acur->cnt->bc_mem.xfbtree->target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 1 | acur->cnt->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_nlevels | 1-255 |
| PARAM_VALUE | 1 | acur->cnt->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | acur->cnt->bc_ops->type | 0-2 |
| PARAM_VALUE | 2 | cur | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 2 | cur->bc_nlevels | 1-255 |
| PARAM_VALUE | 2 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 4 | find_one | 1 |
| PARAM_VALUE | 5 | count | (-1) |
| PARAM_VALUE | 6 | stat | 7757883537713770496 |
| PARAM_VALUE | 6 | *stat | 0-1 |
| CAPPED_DATA | 0 | args->mod | 1 |
| CAPPED_DATA | 1 | acur->cnt->bc_nlevels | 1 |
| CAPPED_DATA | 2 | cur->bc_nlevels | 1 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 1 | acur | $1 |
| 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->agbp->b_map_count | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | acur->bnogt->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | acur->bnolt->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | acur->cnt->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 2 | cur->bc_rec.a.ar_startblock |