Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/scrub/ialloc.c xchk_iallocbt_check_clusters() -> xchk_iallocbt_check_cluster()

Type Parameter Key Value
PARAM_VALUE 0 bs 4096-ptr_max
PARAM_VALUE 0 bs->cur 4096-ptr_max
PARAM_VALUE 0 bs->cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 bs->cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 bs->cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 bs->cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 bs->cur->bc_ops->type 0-2
PARAM_VALUE 0 bs->lastrec_valid 1
PARAM_VALUE 0 bs->oinfo 1646112184124424192,3185646627194212352,5072985932148477952,6767237874489516032,7173811234074382336,8262822955263545344
PARAM_VALUE 0 bs->private 4096-ptr_max
PARAM_VALUE 0 bs->sc 4096-ptr_max
PARAM_VALUE 0 bs->sc->ops 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 bs->sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 bs->sc->sm 4096-ptr_max
PARAM_VALUE 0 bs->scrub_rec 760449400470241280,1343829740551389184,1760196139079385088,5087537074829127680,6028252557003333632,7306450935945998336,7477250581036707840
PARAM_VALUE 0 bs->to_check.next 4096-ptr_max
PARAM_VALUE 0 bs->to_check.next->next 4096-ptr_max
PARAM_VALUE 0 bs->to_check.prev 4096-ptr_max
PARAM_VALUE 0 bs->to_check.prev->next 1-u64max
PARAM_VALUE 0 bs->to_check.prev->prev 4096-ptr_max
PARAM_VALUE 1 irec 444460722373160960
PARAM_VALUE 1 irec->ir_holemask 0-1
PARAM_VALUE 2 cluster_base 0-63
BUF_SIZE 0 bs 88-4096
BUF_SIZE 0 bs 88-4096
BUF_SIZE 0 bs->cur (-1)-s32max
BUF_SIZE 0 bs->private (-1),8,16,28,64,152
DATA_SOURCE 0 bs $0
DATA_SOURCE 1 irec $1
FUZZY_MAX 2 cluster_base 0
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.refc_cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.rmap_cur->bc_tp->t_blk_res