xchk_bmap_xref_rmap identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/xfs/scrub/bmap.c, line 201 (as a function)

Referenced in 1 files:

fs/xfs/scrub/bmap.c

Smatch caller information:

fs/xfs/scrub/bmap.c xchk_bmap_iextent_xref() -> xchk_bmap_xref_rmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	info	4111649917191753728
PARAM_VALUE	0	info->icur.leaf	1-u64max
PARAM_VALUE	0	info->is_rt	0
PARAM_VALUE	0	info->prev_rec.br_startblock	0-4503599627370495
PARAM_VALUE	0	info->prev_rec.br_startoff	0-18014398509481983
PARAM_VALUE	0	info->prev_rec.br_state	0-1
PARAM_VALUE	0	info->sc	4096-ptr_max
PARAM_VALUE	0	info->sc->mp	4096-ptr_max
PARAM_VALUE	0	info->sc->relax.resched_nr	0-99
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd	0-4294967295
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest	0-4294967295
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size	0-4294967295
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_flags	0,2-4294967295
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_recur	0-4294967295
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_refcount.counter	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_rcu.func	1-u64max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	info->sc->sa.agf_bp->b_sema.lock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.agf_bp->b_sema.lock.owner	(-1)
PARAM_VALUE	0	info->sc->sa.agf_bp->b_sema.lock.owner_cpu	u32max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd	0-4294967295
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest	0-4294967295
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size	0-4294967295
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_flags	0,2-4294967295
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_recur	0-4294967295
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_refcount.counter	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_rcu.func	1-u64max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	info->sc->sa.agi_bp->b_sema.lock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.agi_bp->b_sema.lock.owner	(-1)
PARAM_VALUE	0	info->sc->sa.agi_bp->b_sema.lock.owner_cpu	u32max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.bno_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_ops	2865506413869281280
PARAM_VALUE	0	info->sc->sa.cnt_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_ops	7045033551692476416
PARAM_VALUE	0	info->sc->sa.fino_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_ops	5493477311123169280
PARAM_VALUE	0	info->sc->sa.ino_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_ops	3248889349463830528
PARAM_VALUE	0	info->sc->sa.pag	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_ops	3386398652014444544
PARAM_VALUE	0	info->sc->sa.rmap_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_ops	248903091670867968
PARAM_VALUE	0	info->sc->sm	4096-ptr_max
PARAM_VALUE	0	info->sc->tp	0,4096-ptr_max
PARAM_VALUE	0	info->whichfork	0
PARAM_VALUE	1	irec	8131772178419593216
PARAM_VALUE	1	irec->br_startblock	0-4503599627370495
PARAM_VALUE	1	irec->br_startoff	0-18014398509481983
PARAM_VALUE	1	irec->br_state	0-1
CAPPED_DATA	0	info->sc->tp	1
CAPPED_DATA	1	irec->br_startblock	1
CAPPED_DATA	1	irec->br_startoff	1
CAPPED_DATA	2	bno	1
DATA_SOURCE	0	info	$1
DATA_SOURCE	1	irec	$2
FUZZY_MAX	1	irec->br_state	1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	info->sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	info->sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	info->sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	1	irec->br_blockcount
NO_OVERFLOW_SIMPLE	1	irec->br_startblock

fs/xfs/scrub/bmap.c xchk_bmap_iextent_xref() -> xchk_bmap_xref_rmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	info	4111649917191753728
PARAM_VALUE	0	info->icur.leaf	1-u64max
PARAM_VALUE	0	info->is_rt	0
PARAM_VALUE	0	info->prev_rec.br_startblock	0-4503599627370495
PARAM_VALUE	0	info->prev_rec.br_startoff	0-18014398509481983
PARAM_VALUE	0	info->prev_rec.br_state	0-1
PARAM_VALUE	0	info->sc	4096-ptr_max
PARAM_VALUE	0	info->sc->mp	4096-ptr_max
PARAM_VALUE	0	info->sc->relax.resched_nr	0-99
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd	0-4294967295
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest	0-4294967295
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size	0-4294967295
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_flags	0,2-4294967295
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_recur	0-4294967295
PARAM_VALUE	0	info->sc->sa.agf_bp->b_log_item->bli_refcount.counter	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_rcu.func	1-u64max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	info->sc->sa.agf_bp->b_sema.lock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.agf_bp->b_sema.lock.owner	(-1)
PARAM_VALUE	0	info->sc->sa.agf_bp->b_sema.lock.owner_cpu	u32max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	info->sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd	0-4294967295
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest	0-4294967295
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size	0-4294967295
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_flags	0,2-4294967295
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_recur	0-4294967295
PARAM_VALUE	0	info->sc->sa.agi_bp->b_log_item->bli_refcount.counter	s32min-s32max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_rcu.func	1-u64max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	info->sc->sa.agi_bp->b_sema.lock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.agi_bp->b_sema.lock.owner	(-1)
PARAM_VALUE	0	info->sc->sa.agi_bp->b_sema.lock.owner_cpu	u32max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	info->sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.bno_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.bno_cur->bc_ops	2865506413869281280
PARAM_VALUE	0	info->sc->sa.cnt_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.cnt_cur->bc_ops	7045033551692476416
PARAM_VALUE	0	info->sc->sa.fino_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.fino_cur->bc_ops	5493477311123169280
PARAM_VALUE	0	info->sc->sa.ino_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.ino_cur->bc_ops	3248889349463830528
PARAM_VALUE	0	info->sc->sa.pag	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.refc_cur->bc_ops	3386398652014444544
PARAM_VALUE	0	info->sc->sa.rmap_cur	0,4096-ptr_max
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_ag.agbp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sa.rmap_cur->bc_ops	248903091670867968
PARAM_VALUE	0	info->sc->sm	4096-ptr_max
PARAM_VALUE	0	info->sc->tp	0,4096-ptr_max
PARAM_VALUE	0	info->whichfork	1
PARAM_VALUE	1	irec	8131772178419593216
PARAM_VALUE	1	irec->br_startblock	0-4503599627370495
PARAM_VALUE	1	irec->br_startoff	0-18014398509481983
PARAM_VALUE	1	irec->br_state	0-1
CAPPED_DATA	0	info->sc->tp	1
CAPPED_DATA	1	irec->br_startblock	1
CAPPED_DATA	1	irec->br_startoff	1
CAPPED_DATA	2	bno	1
DATA_SOURCE	0	info	$1
DATA_SOURCE	1	irec	$2
FUZZY_MAX	1	irec->br_state	1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	info->sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	info->sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	info->sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	info->sc->sa.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	info->sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	1	irec->br_blockcount
NO_OVERFLOW_SIMPLE	1	irec->br_startblock

fs/xfs/scrub/bmap.c xchk_bmap_rt_iextent_xref() -> xchk_bmap_xref_rmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	info	4111649917191753728
PARAM_VALUE	0	info->icur.leaf	1-u64max
PARAM_VALUE	0	info->is_rt	1
PARAM_VALUE	0	info->prev_rec.br_startblock	0-4503599627370495
PARAM_VALUE	0	info->prev_rec.br_startoff	0-18014398509481983
PARAM_VALUE	0	info->prev_rec.br_state	0-1
PARAM_VALUE	0	info->sc	4096-ptr_max
PARAM_VALUE	0	info->sc->ip	0,4096-ptr_max
PARAM_VALUE	0	info->sc->mp	4096-ptr_max
PARAM_VALUE	0	info->sc->relax.resched_nr	0-99
PARAM_VALUE	0	info->sc->sm	4096-ptr_max
PARAM_VALUE	0	info->sc->sm->sm_flags	0,2-u32max
PARAM_VALUE	0	info->sc->sr.refc_cur	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.refc_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.refc_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.refc_cur->bc_ino.ip	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.refc_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.refc_cur->bc_ops	5177736840100265984
PARAM_VALUE	0	info->sc->sr.rmap_cur	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.rmap_cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.rmap_cur->bc_group	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.rmap_cur->bc_ino.ip	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.rmap_cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.rmap_cur->bc_ops	6771264632830390272
PARAM_VALUE	0	info->sc->sr.rtg	4096-ptr_max
PARAM_VALUE	0	info->sc->sr.rtlock_flags	13
PARAM_VALUE	0	info->whichfork	0
PARAM_VALUE	1	irec	8131772178419593216
PARAM_VALUE	1	irec->br_startblock	0-4503599627370495
PARAM_VALUE	1	irec->br_startoff	0-18014398509481983
PARAM_VALUE	1	irec->br_state	0-1
CAPPED_DATA	1	irec->br_startblock	1
CAPPED_DATA	1	irec->br_startoff	1
CAPPED_DATA	2	bno	1
DATA_SOURCE	0	info	$1
DATA_SOURCE	1	irec	$2
DATA_SOURCE	2	bno	r xfs_rtb_to_rgbno
FUZZY_MAX	1	irec->br_state	1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	info->sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	info->sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	info->sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	info->sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	info->sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	info->sc->sr.rmap_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	1	irec->br_blockcount
NO_OVERFLOW_SIMPLE	1	irec->br_startblock