xchk_fscount_within_range identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/xfs/scrub/fscounters.c, line 474 (as a function)

Referenced in 1 files:

fs/xfs/scrub/fscounters.c

Smatch caller information:

fs/xfs/scrub/fscounters.c xchk_fscounters() -> xchk_fscount_within_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->buf	4096-ptr_max
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->mp->m_icount.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_icount.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_icount.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->mp->m_ifree.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_ifree.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_ifree.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->ops	4096-ptr_max
PARAM_VALUE	0	sc->ops->repair_eval	0,2592533893225459712,5830863107202789376
PARAM_VALUE	0	sc->relax.resched_nr	0-99
PARAM_VALUE	0	sc->sa.agf_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	sc->sa.agi_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	sc->sa.bno_cur	0
PARAM_VALUE	0	sc->sa.cnt_cur	0
PARAM_VALUE	0	sc->sa.fino_cur	0
PARAM_VALUE	0	sc->sa.ino_cur	0
PARAM_VALUE	0	sc->sa.pag->pag_group.xg_mount->m_finobt_nores	1
PARAM_VALUE	0	sc->sa.refc_cur	0
PARAM_VALUE	0	sc->sa.rmap_cur	0
PARAM_VALUE	0	sc->sm	4096-ptr_max
PARAM_VALUE	2	counter	4096-ptr_max
PARAM_VALUE	2	counter->lock.owner	(-1)
PARAM_VALUE	2	counter->lock.owner_cpu	u32max
BUF_SIZE	0	sc	(-1),240
BUF_SIZE	0	sc	(-1),240
CAPPED_DATA	1	old_value	1
CAPPED_DATA	1	old_value	1
DATA_SOURCE	0	sc	$0
DATA_SOURCE	1	old_value	r percpu_counter_sum
BIT_INFO	0	sc->sm->sm_flags	0x0,0xffffffdf
NOSPEC	0	sc->sm->sm_type
USER_DATA	0	sc->sm->sm_agno	0-u32max
USER_DATA	0	sc->sm->sm_gen	0-u32max
USER_DATA	0	sc->sm->sm_ino	0-u64max
USER_DATA	0	sc->sm->sm_type	0-32
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_tp->t_blk_res
USER_PTR	0	sc->sm->sm_reserved

fs/xfs/scrub/fscounters.c xchk_fscounters() -> xchk_fscount_within_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->buf	4096-ptr_max
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->mp->m_icount.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_icount.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_icount.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->mp->m_ifree.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_ifree.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_ifree.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->ops	4096-ptr_max
PARAM_VALUE	0	sc->ops->repair_eval	0,2592533893225459712,5830863107202789376
PARAM_VALUE	0	sc->relax.resched_nr	0-99
PARAM_VALUE	0	sc->sa.agf_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	sc->sa.agi_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	sc->sa.bno_cur	0
PARAM_VALUE	0	sc->sa.cnt_cur	0
PARAM_VALUE	0	sc->sa.fino_cur	0
PARAM_VALUE	0	sc->sa.ino_cur	0
PARAM_VALUE	0	sc->sa.pag->pag_group.xg_mount->m_finobt_nores	1
PARAM_VALUE	0	sc->sa.refc_cur	0
PARAM_VALUE	0	sc->sa.rmap_cur	0
PARAM_VALUE	0	sc->sm	4096-ptr_max
PARAM_VALUE	2	counter	4096-ptr_max
PARAM_VALUE	2	counter->lock.owner	(-1)
PARAM_VALUE	2	counter->lock.owner_cpu	u32max
BUF_SIZE	0	sc	(-1),240
BUF_SIZE	0	sc	(-1),240
CAPPED_DATA	1	old_value	1
CAPPED_DATA	1	old_value	1
DATA_SOURCE	0	sc	$0
DATA_SOURCE	1	old_value	r percpu_counter_sum
NOSPEC	0	sc->sm->sm_type
USER_DATA	0	sc->sm->sm_agno	0-u32max
USER_DATA	0	sc->sm->sm_gen	0-u32max
USER_DATA	0	sc->sm->sm_ino	0-u64max
USER_DATA	0	sc->sm->sm_type	0-32
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_tp->t_blk_res
USER_PTR	0	sc->sm->sm_reserved

fs/xfs/scrub/fscounters.c xchk_fscounters() -> xchk_fscount_within_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->buf	4096-ptr_max
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->mp->m_free	4096-ptr_max
PARAM_VALUE	0	sc->mp->m_icount.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_icount.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_icount.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->mp->m_ifree.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_ifree.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_ifree.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->ops	4096-ptr_max
PARAM_VALUE	0	sc->ops->repair_eval	0,2592533893225459712,5830863107202789376
PARAM_VALUE	0	sc->relax.resched_nr	0-99
PARAM_VALUE	0	sc->sa.agf_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	sc->sa.agi_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	sc->sa.bno_cur	0
PARAM_VALUE	0	sc->sa.cnt_cur	0
PARAM_VALUE	0	sc->sa.fino_cur	0
PARAM_VALUE	0	sc->sa.ino_cur	0
PARAM_VALUE	0	sc->sa.pag->pag_group.xg_mount->m_finobt_nores	1
PARAM_VALUE	0	sc->sa.refc_cur	0
PARAM_VALUE	0	sc->sa.rmap_cur	0
PARAM_VALUE	0	sc->sm	4096-ptr_max
PARAM_VALUE	1	old_value	0-s64max
BUF_SIZE	0	sc	(-1),240
BUF_SIZE	0	sc	(-1),240
CAPPED_DATA	1	old_value	1
CAPPED_DATA	1	old_value	1
DATA_SOURCE	0	sc	$0
DATA_SOURCE	1	old_value	r xfs_sum_freecounter_raw
FUZZY_MAX	1	old_value	0
NOSPEC	0	sc->sm->sm_type
USER_DATA	0	sc->sm->sm_agno	0-u32max
USER_DATA	0	sc->sm->sm_gen	0-u32max
USER_DATA	0	sc->sm->sm_ino	0-u64max
USER_DATA	0	sc->sm->sm_type	0-32
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_tp->t_blk_res
UNITS	1	old_value	unit_array_size
UNITS	3	expected	unit_array_size
USER_PTR	0	sc->sm->sm_reserved

fs/xfs/scrub/fscounters.c xchk_fscounters() -> xchk_fscount_within_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->buf	4096-ptr_max
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_delalloc_blks.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->mp->m_free	4096-ptr_max
PARAM_VALUE	0	sc->mp->m_icount.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_icount.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_icount.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->mp->m_ifree.lock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_ifree.lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_ifree.lock.owner_cpu	u32max
PARAM_VALUE	0	sc->ops	4096-ptr_max
PARAM_VALUE	0	sc->ops->repair_eval	0,2592533893225459712,5830863107202789376
PARAM_VALUE	0	sc->relax.resched_nr	0-99
PARAM_VALUE	0	sc->sa.agf_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	sc->sa.agi_bp->b_sema.first_waiter->up	0-1
PARAM_VALUE	0	sc->sa.bno_cur	0
PARAM_VALUE	0	sc->sa.cnt_cur	0
PARAM_VALUE	0	sc->sa.fino_cur	0
PARAM_VALUE	0	sc->sa.ino_cur	0
PARAM_VALUE	0	sc->sa.pag->pag_group.xg_mount->m_finobt_nores	1
PARAM_VALUE	0	sc->sa.refc_cur	0
PARAM_VALUE	0	sc->sa.rmap_cur	0
PARAM_VALUE	0	sc->sm	4096-ptr_max
PARAM_VALUE	1	old_value	0-s64max
BUF_SIZE	0	sc	(-1),240
BUF_SIZE	0	sc	(-1),240
CAPPED_DATA	1	old_value	1
CAPPED_DATA	1	old_value	1
DATA_SOURCE	0	sc	$0
DATA_SOURCE	1	old_value	r xfs_sum_freecounter_raw
FUZZY_MAX	1	old_value	0
NOSPEC	0	sc->sm->sm_type
USER_DATA	0	sc->sm->sm_agno	0-u32max
USER_DATA	0	sc->sm->sm_gen	0-u32max
USER_DATA	0	sc->sm->sm_ino	0-u64max
USER_DATA	0	sc->sm->sm_type	0-32
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE	0	sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE	0	sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE	0	sc->sa.rmap_cur->bc_tp->t_blk_res
USER_PTR	0	sc->sm->sm_reserved