xfs_alloc_cur_check identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/xfs/libxfs/xfs_alloc.c, line 1008 (as a function)

Referenced in 2 files:

Smatch caller information:

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_cntbt_iter() -> xfs_alloc_cur_check()

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->agbp->b_lru_ref.counter	0-4
PARAM_VALUE	0	args->agbp->b_sema.lock.owner	(-1)
PARAM_VALUE	0	args->agbp->b_sema.lock.owner_cpu	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_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	args->mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	args->mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active	s32min-s32max
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-3,5
PARAM_VALUE	0	args->tp	4096-ptr_max
PARAM_VALUE	0	args->tp->t_dfops.prev	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	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->tp->t_mountp	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_mem.xfbtree->target->bt_readahead_count.lock.owner_cpu	0-4294967295
PARAM_VALUE	1	acur->bnogt->bc_mem.xfbtree->target->bt_readahead_count.lock.raw_lock.val.counter	s32min-s32max
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_mem.xfbtree->target->bt_readahead_count.lock.owner_cpu	0-4294967295
PARAM_VALUE	1	acur->bnolt->bc_mem.xfbtree->target->bt_readahead_count.lock.raw_lock.val.counter	s32min-s32max
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_mem.xfbtree->target->bt_readahead_count.lock.owner_cpu	0-4294967295
PARAM_VALUE	1	acur->cnt->bc_mem.xfbtree->target->bt_readahead_count.lock.raw_lock.val.counter	s32min-s32max
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->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	1	acur->cnt->bc_ops->type	0-2
PARAM_VALUE	1	*acur->bnogt->bc_mem.xfbtree->target->bt_readahead_count.counters	s32min-s32max
PARAM_VALUE	1	*acur->bnolt->bc_mem.xfbtree->target->bt_readahead_count.counters	s32min-s32max
PARAM_VALUE	1	*acur->cnt->bc_mem.xfbtree->target->bt_readahead_count.counters	s32min-s32max
PARAM_VALUE	2	cur	4096-ptr_max
PARAM_VALUE	2	cur->bc_mem.xfbtree->target->bt_hash.nelems.counter	s32min-s32max
PARAM_VALUE	2	cur->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter	s32min-s32max
PARAM_VALUE	2	cur->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd	0-4294967295
PARAM_VALUE	2	cur->bc_mem.xfbtree->target->bt_hash.tbl->nest	0-4294967295
PARAM_VALUE	2	cur->bc_mem.xfbtree->target->bt_hash.tbl->size	0-4294967295
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->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	3	new	1287238179731726336
PARAM_VALUE	3	*new	0-1
CAPPED_DATA	0	args->min_agbno	1
CAPPED_DATA	0	args->mod	1
CAPPED_DATA	0	args->tp	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_cntbt_iter() -> xfs_alloc_cur_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	args	4096-ptr_max
PARAM_VALUE	0	args->agbno	0-4294967294
PARAM_VALUE	0	args->agbp	4096-ptr_max
PARAM_VALUE	0	args->agbp->b_flags	0,2-u32max
PARAM_VALUE	0	args->agbp->b_lru_ref.counter	0-4
PARAM_VALUE	0	args->agbp->b_sema.lock.owner	(-1)
PARAM_VALUE	0	args->agbp->b_sema.lock.owner_cpu	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_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	args->mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	args->mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active	s32min-s32max
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-3,5
PARAM_VALUE	0	args->tp	4096-ptr_max
PARAM_VALUE	0	args->tp->t_dfops.prev	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	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->tp->t_mountp	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_mem.xfbtree->target->bt_readahead_count.lock.owner_cpu	0-4294967295
PARAM_VALUE	1	acur->bnogt->bc_mem.xfbtree->target->bt_readahead_count.lock.raw_lock.val.counter	s32min-s32max
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_mem.xfbtree->target->bt_readahead_count.lock.owner_cpu	0-4294967295
PARAM_VALUE	1	acur->bnolt->bc_mem.xfbtree->target->bt_readahead_count.lock.raw_lock.val.counter	s32min-s32max
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_mem.xfbtree->target->bt_readahead_count.lock.owner_cpu	0-4294967295
PARAM_VALUE	1	acur->cnt->bc_mem.xfbtree->target->bt_readahead_count.lock.raw_lock.val.counter	s32min-s32max
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->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	1	acur->cnt->bc_ops->type	0-2
PARAM_VALUE	1	*acur->bnogt->bc_mem.xfbtree->target->bt_readahead_count.counters	s32min-s32max
PARAM_VALUE	1	*acur->bnolt->bc_mem.xfbtree->target->bt_readahead_count.counters	s32min-s32max
PARAM_VALUE	1	*acur->cnt->bc_mem.xfbtree->target->bt_readahead_count.counters	s32min-s32max
PARAM_VALUE	2	cur	4096-ptr_max
PARAM_VALUE	2	cur->bc_mem.xfbtree->target->bt_hash.nelems.counter	s32min-s32max
PARAM_VALUE	2	cur->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter	s32min-s32max
PARAM_VALUE	2	cur->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd	0-4294967295
PARAM_VALUE	2	cur->bc_mem.xfbtree->target->bt_hash.tbl->nest	0-4294967295
PARAM_VALUE	2	cur->bc_mem.xfbtree->target->bt_hash.tbl->size	0-4294967295
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->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	3	new	1287238179731726336
PARAM_VALUE	3	*new	1
CAPPED_DATA	0	args->agbno	1
CAPPED_DATA	0	args->min_agbno	1
CAPPED_DATA	0	args->minlen	1
CAPPED_DATA	0	args->mod	1
CAPPED_DATA	0	args->tp	1
CAPPED_DATA	1	acur->cur_len	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_walk_iter() -> xfs_alloc_cur_check()

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->agbp->b_lru_ref.counter	0-4
PARAM_VALUE	0	args->agbp->b_sema.lock.owner	(-1)
PARAM_VALUE	0	args->agbp->b_sema.lock.owner_cpu	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_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	args->mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	args->mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active	s32min-s32max
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-3,5
PARAM_VALUE	0	args->tp	4096-ptr_max
PARAM_VALUE	0	args->tp->t_dfops.prev	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	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->tp->t_mountp	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->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->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->cnt	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_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->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	2	cur->bc_ops->type	0-2
PARAM_VALUE	3	new	4748383192919207936
CAPPED_DATA	0	args->min_agbno	1
CAPPED_DATA	0	args->mod	1
CAPPED_DATA	0	args->tp	1
DATA_SOURCE	0	args	$0
DATA_SOURCE	1	acur	$1
DATA_SOURCE	2	cur	$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
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