Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/xfs/scrub/bmap.c xchk_bmap_get_rmap() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0-2
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
HARD_MAX 1 whichfork 2
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
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_ag.agbp->b_map_count
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_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 2 offset
UNITS 2 offset unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0-1
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
HARD_MAX 1 whichfork 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0-1
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
HARD_MAX 1 whichfork 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0-1
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
HARD_MAX 1 whichfork 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0-1
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
HARD_MAX 1 whichfork 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0-1
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
HARD_MAX 1 whichfork 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0-1
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
HARD_MAX 1 whichfork 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0-1
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
HARD_MAX 1 whichfork 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 0-1
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
HARD_MAX 1 whichfork 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

fs/xfs/scrub/bmap.c xchk_bmap_xref_rmap_cow() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 2
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

fs/xfs/scrub/bmap.c xchk_bmap_xref_rmap_cow() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 2
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

fs/xfs/scrub/bmap.c xchk_bmap_xref_rmap_cow() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 2
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

fs/xfs/scrub/bmap.c xchk_bmap_xref_rmap_cow() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 2
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

fs/xfs/scrub/bmap.c xchk_bmap_xref_rmap_cow() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 2
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

fs/xfs/scrub/bmap.c xchk_bmap_xref_rmap_cow() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
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->sm 4096-ptr_max
PARAM_VALUE 1 whichfork 2
PARAM_VALUE 2 offset 0-18014398509481983
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sr.rmap_cur->bc_tp->t_rtx_res_used
UNITS 2 offset unit_array_size

fs/xfs/scrub/parent.c xchk_parent_dirent() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 1 whichfork 1
PARAM_VALUE 2 offset 0
NOCHECK_CALL

fs/xfs/scrub/parent.c xchk_parent_dirent() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 1 whichfork 1
PARAM_VALUE 2 offset 0
NOCHECK_CALL

fs/xfs/scrub/parent.c xchk_parent_iget() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 1 whichfork 1
PARAM_VALUE 2 offset 0
NOCHECK_CALL

fs/xfs/scrub/parent.c xchk_parent_iget() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 1 whichfork 1
PARAM_VALUE 2 offset 0
NOCHECK_CALL

fs/xfs/scrub/dir.c xchk_dir_parent_pointer() -> xchk_fblock_xref_set_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 1 whichfork 0
PARAM_VALUE 2 offset 0
NOCHECK_CALL