xfs_btree_get_sibling identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

fs/xfs/libxfs/xfs_btree.h, line 525 (as a prototype)

Defined in 1 files as a function:

fs/xfs/libxfs/xfs_btree.c, line 1190 (as a function)

Referenced in 4 files:

Smatch caller information:

fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_btreeblks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_flcount	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_flfirst	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_refcount_blocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_rmap_blocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_fblocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_iblocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_flags	0,32-u32max
PARAM_VALUE	0	cur->bc_ag.agbp->b_log_item->bli_flags	0,2-u32max
PARAM_VALUE	0	cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_itemp->ili_dirty_flags	0-4294967295
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner	(-1)
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu	u32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner	(-1)
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu	u32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_avail	0-9223372036854775807
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_maxrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_key_from_rec	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->key_len	4,8,40
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	0	cur->bc_tp	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_items.prev	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_items.prev->next	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_items.prev->next->next	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_mountp	4096-ptr_max
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	2	ptr	1112452135094079488
PARAM_VALUE	3	lr	16
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
CAPPED_DATA	0	cur->bc_tp	1
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_block
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_rec.b.br_blockcount
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_rec.b.br_blockcount	0-18014398509481983,18446744069414584321-u64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	0-22518000284336124
USER_DATA	0	cur->bc_rec.b.br_startoff	0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock

fs/xfs/libxfs/xfs_btree.c xfs_btree_decrement() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_levels	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->alloc_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->broot_realloc	0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE	0	cur->bc_ops->buf_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->name	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_read	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_write	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_key_with_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_two_keys	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->dup_cursor	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->free_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->geom_flags	0-3
PARAM_VALUE	0	cur->bc_ops->get_dmaxrecs	0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE	0	cur->bc_ops->get_maxrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_minrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_high_key_from_rec	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_key_from_rec	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_ptr_from_cur	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_rec_from_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->key_len	4,8,40
PARAM_VALUE	0	cur->bc_ops->keys_contiguous	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->keys_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->lru_refs	1-3
PARAM_VALUE	0	cur->bc_ops->name	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->rec_len	8,12,16,24
PARAM_VALUE	0	cur->bc_ops->recs_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->set_root	0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE	0	cur->bc_ops->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	0	cur->bc_ops->statoff	76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	0	cur->bc_ops->update_cursor	0,2872932845050183680
PARAM_VALUE	2	ptr	3978090135896539136
PARAM_VALUE	3	lr	8
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur->bc_mem.xfbtree	(-1),56
BUF_SIZE	0	cur->bc_tp	(-1)-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_block
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_ino.ip->i_disk_size
NOSPEC	0	cur->bc_rec.a.ar_blockcount
NOSPEC	0	cur->bc_rec.a.ar_startblock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_ino.ip->i_disk_size	(-9223372036854775807)-s64max[c]
USER_DATA	0	cur->bc_rec.a.ar_blockcount	0-u32max[c]
USER_DATA	0	cur->bc_rec.a.ar_startblock	0-4194304[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	1-22518000284336124[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	cur->bc_cache->object_size
NO_OVERFLOW_SIMPLE	0	cur->bc_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.b.br_startoff
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_offset
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_levels	4096-ptr_max
PARAM_VALUE	0	cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->name	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_read	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_write	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_maxrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_key_from_rec	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_rec_from_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	0	cur->bc_tp	4096-ptr_max
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	2	ptr	4570595330693599232
PARAM_VALUE	3	lr	16
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur->bc_mem.xfbtree	(-1),56
BUF_SIZE	0	cur->bc_tp	(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_block
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_ino.ip->i_disk_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_ino.ip->i_disk_size	(-9223372036854775807)-s64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	1-22518000284336124[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	cur->bc_cache->object_size
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_offset
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_levels	4096-ptr_max
PARAM_VALUE	0	cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->name	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_read	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_write	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_maxrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_key_from_rec	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_rec_from_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	0	cur->bc_tp	4096-ptr_max
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	2	ptr	628815359785828352
PARAM_VALUE	3	lr	8
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur->bc_mem.xfbtree	(-1),56
BUF_SIZE	0	cur->bc_tp	(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_block
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_ino.ip->i_disk_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_ino.ip->i_disk_size	(-9223372036854775807)-s64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	1-22518000284336124[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	cur->bc_cache->object_size
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_offset
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	2	ptr	1271387886941159424
PARAM_VALUE	3	lr	8
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
DATA_SOURCE	1	block	r xfs_btree_get_block
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	2	ptr	1271387886941159424
PARAM_VALUE	3	lr	16
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
DATA_SOURCE	1	block	r xfs_btree_get_block
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/libxfs/xfs_btree.c xfs_btree_increment() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_levels	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->alloc_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->broot_realloc	0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE	0	cur->bc_ops->buf_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->name	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_read	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_write	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_key_with_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_two_keys	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->dup_cursor	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->free_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->geom_flags	0-3
PARAM_VALUE	0	cur->bc_ops->get_dmaxrecs	0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE	0	cur->bc_ops->get_maxrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_minrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_high_key_from_rec	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_key_from_rec	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_ptr_from_cur	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_rec_from_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->key_len	4,8,40
PARAM_VALUE	0	cur->bc_ops->keys_contiguous	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->keys_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->lru_refs	1-3
PARAM_VALUE	0	cur->bc_ops->name	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->rec_len	8,12,16,24
PARAM_VALUE	0	cur->bc_ops->recs_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->set_root	0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE	0	cur->bc_ops->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	0	cur->bc_ops->statoff	76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	0	cur->bc_ops->update_cursor	0,2872932845050183680
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	1	block->bb_numrecs	0-65534
PARAM_VALUE	2	ptr	5087062775104897024
PARAM_VALUE	3	lr	16
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur->bc_mem.xfbtree	(-1),56
BUF_SIZE	0	cur->bc_tp	(-1)-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_block
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_ino.ip->i_disk_size
NOSPEC	0	cur->bc_rec.a.ar_blockcount
NOSPEC	0	cur->bc_rec.a.ar_startblock
NOSPEC	0	cur->bc_rec.b.br_blockcount
NOSPEC	0	cur->bc_rec.b.br_startoff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_ino.ip->i_disk_size	(-9223372036854775807)-s64max[c]
USER_DATA	0	cur->bc_rec.a.ar_blockcount	0-u32max[c]
USER_DATA	0	cur->bc_rec.a.ar_startblock	0-4194304[c]
USER_DATA	0	cur->bc_rec.b.br_blockcount	0-18014398509481983,18446744069414584321-u64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	0-4503614663819253
USER_DATA	0	cur->bc_rec.b.br_startoff	0-18446744073709551614[c]
USER_DATA	0	cur->bc_rec.i.ir_startino	0-u32max[c]
USER_DATA	0	cur->bc_rec.rc.rc_startblock	0-u32max[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	cur->bc_cache->object_size
NO_OVERFLOW_SIMPLE	0	cur->bc_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_offset
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_btree.c xfs_btree_kill_iroot() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ino.ip->i_itemp->ili_dirty_flags	0-4294967295
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_filestream->grp_time	0-4294967295
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_filestream->lru_grp	0-4294967295
PARAM_VALUE	0	cur->bc_levels	4096-ptr_max
PARAM_VALUE	0	cur->bc_mem.xfbtree->target->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	cur->bc_mem.xfbtree->target->bt_file->f_inode->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	cur->bc_mem.xfbtree->target->bt_file->f_inode->i_wb->dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->alloc_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->broot_realloc	0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE	0	cur->bc_ops->buf_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->name	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_read	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_write	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_key_with_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_two_keys	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->dup_cursor	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->free_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->geom_flags	0-3
PARAM_VALUE	0	cur->bc_ops->get_dmaxrecs	0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE	0	cur->bc_ops->get_maxrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_minrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_key_from_rec	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_rec_from_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->key_len	4,8,40
PARAM_VALUE	0	cur->bc_ops->keys_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->lru_refs	1-3
PARAM_VALUE	0	cur->bc_ops->name	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->rec_len	8,12,16,24
PARAM_VALUE	0	cur->bc_ops->recs_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->set_root	0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE	0	cur->bc_ops->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	0	cur->bc_ops->statoff	76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE	0	cur->bc_ops->type	1
PARAM_VALUE	0	cur->bc_ops->update_cursor	0,2872932845050183680
PARAM_VALUE	0	cur->bc_tp	4096-ptr_max
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	1	block->bb_numrecs	1
PARAM_VALUE	2	ptr	4796019567452741632
PARAM_VALUE	3	lr	8
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur->bc_mem.xfbtree	(-1),56
BUF_SIZE	0	cur->bc_tp	(-1),1-s32max
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_iroot
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_ino.ip->i_disk_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_ino.ip->i_disk_size	(-9223372036854775807)-s64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	1-22518000284336124[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_offset
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_btree.c xfs_btree_kill_iroot() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ino.ip->i_itemp->ili_dirty_flags	0-4294967295
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_filestream->grp_time	0-4294967295
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_filestream->lru_grp	0-4294967295
PARAM_VALUE	0	cur->bc_levels	4096-ptr_max
PARAM_VALUE	0	cur->bc_mem.xfbtree->target->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	cur->bc_mem.xfbtree->target->bt_file->f_inode->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	cur->bc_mem.xfbtree->target->bt_file->f_inode->i_wb->dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->alloc_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->broot_realloc	0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE	0	cur->bc_ops->buf_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->name	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_read	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_write	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_key_with_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_two_keys	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->dup_cursor	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->free_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->geom_flags	0-3
PARAM_VALUE	0	cur->bc_ops->get_dmaxrecs	0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE	0	cur->bc_ops->get_maxrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_minrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_key_from_rec	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_rec_from_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->key_len	4,8,40
PARAM_VALUE	0	cur->bc_ops->keys_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->lru_refs	1-3
PARAM_VALUE	0	cur->bc_ops->name	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->rec_len	8,12,16,24
PARAM_VALUE	0	cur->bc_ops->recs_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->set_root	0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE	0	cur->bc_ops->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	0	cur->bc_ops->statoff	76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE	0	cur->bc_ops->type	1
PARAM_VALUE	0	cur->bc_ops->update_cursor	0,2872932845050183680
PARAM_VALUE	0	cur->bc_tp	4096-ptr_max
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	1	block->bb_numrecs	1
PARAM_VALUE	2	ptr	4796019567452741632
PARAM_VALUE	3	lr	16
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur->bc_mem.xfbtree	(-1),56
BUF_SIZE	0	cur->bc_tp	(-1),1-s32max
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_iroot
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_ino.ip->i_disk_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_ino.ip->i_disk_size	(-9223372036854775807)-s64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	1-22518000284336124[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_offset
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_btree.c xfs_btree_lookup() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	cur->bc_nlevels	1-255
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->alloc_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->broot_realloc	0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE	0	cur->bc_ops->buf_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->name	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_read	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_write	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_key_with_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_two_keys	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->dup_cursor	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->free_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->geom_flags	0-3
PARAM_VALUE	0	cur->bc_ops->get_dmaxrecs	0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE	0	cur->bc_ops->get_maxrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_minrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_key_from_rec	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_rec_from_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->key_len	4,8,40
PARAM_VALUE	0	cur->bc_ops->keys_contiguous	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->keys_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->lru_refs	1-3
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->rec_len	8,12,16,24
PARAM_VALUE	0	cur->bc_ops->recs_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->set_root	0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE	0	cur->bc_ops->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	0	cur->bc_ops->statoff	76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	0	cur->bc_ops->update_cursor	0,2872932845050183680
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	2	ptr	7230663887268831232
PARAM_VALUE	3	lr	16
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur->bc_mem.xfbtree	(-1),56
BUF_SIZE	0	cur->bc_tp	(-1)-s32max
CAPPED_DATA	0	cur	1
DATA_SOURCE	0	cur	$0
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_ino.ip->i_disk_size
NOSPEC	0	cur->bc_rec.a.ar_blockcount
NOSPEC	0	cur->bc_rec.a.ar_startblock
NOSPEC	0	cur->bc_rec.b.br_blockcount
NOSPEC	0	cur->bc_rec.b.br_startoff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_ino.ip->i_disk_size	(-9223372036854775807)-s64max[c]
USER_DATA	0	cur->bc_rec.a.ar_blockcount	0-u32max[c]
USER_DATA	0	cur->bc_rec.a.ar_startblock	0-4194304[c]
USER_DATA	0	cur->bc_rec.b.br_blockcount	0-18014398509481983,18446744069414584321-u64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	0-4503603922337790[u]
USER_DATA	0	cur->bc_rec.b.br_startoff	0-18446744073709551614[c]
USER_DATA	0	cur->bc_rec.i.ir_startino	0-u32max[c]
USER_DATA	0	cur->bc_rec.rc.rc_startblock	0-u32max[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	cur->bc_cache->object_size
NO_OVERFLOW_SIMPLE	0	cur->bc_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_offset
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_btree.c xfs_btree_lshift() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	2	ptr	7234103164600053760
PARAM_VALUE	3	lr	8
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_block
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_rec.b.br_blockcount
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_rec.b.br_blockcount	0-18014398509481983,18446744069414584321-u64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	0-22518000284336124
USER_DATA	0	cur->bc_rec.b.br_startoff	0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock

fs/xfs/libxfs/xfs_btree.c xfs_btree_new_root() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ag.afake->af_root	0-4294967294
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_bno_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_bno_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_btreeblks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_cnt_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_cnt_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_flcount	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_flfirst	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_refcount_blocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_refcount_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_refcount_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_rmap_blocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_rmap_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_rmap_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_fblocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_free_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_free_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_iblocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_flags	0,32-u32max
PARAM_VALUE	0	cur->bc_ag.agbp->b_log_item->bli_flags	0,2-u32max
PARAM_VALUE	0	cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_flags_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_itemp->ili_dirty_flags	0-4294967295
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner	(-1)
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu	u32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner	(-1)
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu	u32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_avail	0-9223372036854775807
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->type	0,2
PARAM_VALUE	0	cur->bc_tp	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_items.prev	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_items.prev->next	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_items.prev->next->next	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_mountp	4096-ptr_max
PARAM_VALUE	2	ptr	3775770356554145792
PARAM_VALUE	2	ptr->l	0
PARAM_VALUE	3	lr	16
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	1	block	s32min-(-2),1-s32max
BUF_SIZE	1	block	s32min-(-2),1-s32max
CAPPED_DATA	0	cur->bc_nlevels	1
CAPPED_DATA	0	cur->bc_tp	1
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_block
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_rec.b.br_blockcount
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_rec.b.br_blockcount	0-18014398509481983,18446744069414584321-u64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	0-22518000284336124
USER_DATA	0	cur->bc_rec.b.br_startoff	0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_offset
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock

fs/xfs/libxfs/xfs_btree.c xfs_btree_new_root() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ag.afake->af_root	0-4294967294
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_bno_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_bno_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_btreeblks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_cnt_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_cnt_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_flcount	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_flfirst	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_refcount_blocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_refcount_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_refcount_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_rmap_blocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_rmap_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agf_rmap_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_fblocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_free_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_free_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_iblocks	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_level	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_addr->agi_root	0-4294967295
PARAM_VALUE	0	cur->bc_ag.agbp->b_flags	0,32-u32max
PARAM_VALUE	0	cur->bc_ag.agbp->b_log_item->bli_flags	0,2-u32max
PARAM_VALUE	0	cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_flags_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_itemp->ili_dirty_flags	0-4294967295
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner	(-1)
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu	u32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner	(-1)
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu	u32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_avail	0-9223372036854775807
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->type	0,2
PARAM_VALUE	0	cur->bc_tp	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_items.prev	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_items.prev->next	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_items.prev->next->next	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_mountp	4096-ptr_max
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	2	ptr	8137524979197997056
PARAM_VALUE	2	ptr->s	0-4294967294
PARAM_VALUE	3	lr	8
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	1	block	s32min-(-2),1-s32max
BUF_SIZE	1	block	s32min-(-2),1-s32max
CAPPED_DATA	0	cur->bc_nlevels	1
CAPPED_DATA	0	cur->bc_tp	1
DATA_SOURCE	0	cur	$0
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_rec.b.br_blockcount
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_rec.b.br_blockcount	0-18014398509481983,18446744069414584321-u64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	0-22518000284336124
USER_DATA	0	cur->bc_rec.b.br_startoff	0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_offset
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock

fs/xfs/libxfs/xfs_btree.c xfs_btree_rshift() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ino.ip->i_itemp->ili_dirty_flags	0-4294967295
PARAM_VALUE	0	cur->bc_levels	4096-ptr_max
PARAM_VALUE	0	cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	2	ptr	1495431718765912064
PARAM_VALUE	3	lr	16
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_block
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_rec.b.br_blockcount
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_rec.b.br_blockcount	0-18014398509481983,18446744069414584321-u64max[c]
USER_DATA	0	cur->bc_rec.b.br_startblock	0-22518000284336124
USER_DATA	0	cur->bc_rec.b.br_startoff	0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.r.rm_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_blockcount
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.rc.rc_startblock

fs/xfs/libxfs/xfs_btree.c xfs_btree_visit_block() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->alloc_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->broot_realloc	0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE	0	cur->bc_ops->buf_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->name	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_read	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_write	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_key_with_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->cmp_two_keys	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->dup_cursor	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->free_block	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->geom_flags	0-3
PARAM_VALUE	0	cur->bc_ops->get_dmaxrecs	0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE	0	cur->bc_ops->get_maxrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_minrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_key_from_rec	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->init_rec_from_cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->key_len	4,8,40
PARAM_VALUE	0	cur->bc_ops->keys_contiguous	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->keys_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->lru_refs	1-3
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->rec_len	8,12,16,24
PARAM_VALUE	0	cur->bc_ops->recs_inorder	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->set_root	0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE	0	cur->bc_ops->sick_mask	0,8,16,32,64,128,256,512
PARAM_VALUE	0	cur->bc_ops->statoff	76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	0	cur->bc_ops->update_cursor	0,2872932845050183680
PARAM_VALUE	2	ptr	78474014360100864
PARAM_VALUE	3	lr	16
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur->bc_ino.ip	(-1)-s32max
BUF_SIZE	0	cur->bc_tp	(-1)-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_block
STR_LEN	0	cur->bc_tp	(-1)-1024
NOSPEC	0	cur->bc_ino.ip->i_disk_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cur->bc_ino.ip->i_disk_size	(-9223372036854775807)-s64max[c]
NO_OVERFLOW_SIMPLE	0	cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_cursor_at_lastrec() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->name	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_read	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->buf_ops->verify_write	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	2	ptr	7004040425246072832
PARAM_VALUE	3	lr	16
BUF_SIZE	1	block	s32min-(-1),1-s32max
BUF_SIZE	1	block	s32min-(-1),1-s32max
DATA_SOURCE	0	cur	$0
DATA_SOURCE	1	block	r xfs_btree_get_block
STR_LEN	0	cur->bc_tp	(-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE	0	cur->bc_rec.b.br_startoff
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res_used

fs/xfs/scrub/btree.c xchk_btree_block_check_siblings() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	0,4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	2	ptr	6783501851913203712
PARAM_VALUE	3	lr	8
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
DATA_SOURCE	1	block	$1
NOCHECK_CALL

fs/xfs/scrub/btree.c xchk_btree_block_check_siblings() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	2	ptr	5740983187626147840
PARAM_VALUE	3	lr	16
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
DATA_SOURCE	1	block	$1
NOCHECK_CALL

fs/xfs/libxfs/xfs_btree_staging.c xfs_btree_bload_node() -> xfs_btree_get_sibling()

Type	Parameter	Key	Value
PARAM_VALUE	0	cur	4096-ptr_max
PARAM_VALUE	0	cur->bc_cache	4096-ptr_max
PARAM_VALUE	0	cur->bc_maxlevels	1-255
PARAM_VALUE	0	cur->bc_mp	4096-ptr_max
PARAM_VALUE	0	cur->bc_nlevels	2-255
PARAM_VALUE	0	cur->bc_ops	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_maxrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->get_minrecs	4096-ptr_max
PARAM_VALUE	0	cur->bc_ops->ptr_len	4,8
PARAM_VALUE	0	cur->bc_ops->type	0-2
PARAM_VALUE	0	cur->bc_tp	0
PARAM_VALUE	0	cur->bc_tp->t_items.prev->next	4096-ptr_max
PARAM_VALUE	0	cur->bc_tp->t_items.prev->next->next	4096-ptr_max
PARAM_VALUE	1	block	4096-ptr_max
PARAM_VALUE	2	ptr	268234463976566784
PARAM_VALUE	3	lr	16
BUF_SIZE	0	cur	(-1)-s32max
BUF_SIZE	0	cur	(-1)-s32max
CAPPED_DATA	0	cur->bc_maxlevels	1
DATA_SOURCE	0	cur	$0
DATA_SOURCE	2	ptr	$2
BIT_INFO	0	cur->bc_flags	0x0,0xffffffff
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE	0	cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	cur->bc_tp->t_rtx_res_used