Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/scrub/bmap.c xchk_bmap_xref_rmap() -> xchk_bmap_get_rmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4111649917191753728 |
| PARAM_VALUE | 0 | info->icur.leaf | 1-u64max |
| 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_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | info->sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | info->sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | info->whichfork | 0-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 |
| PARAM_VALUE | 4 | rmap | 4753866088245501952 |
| CAPPED_DATA | 0 | info->prev_rec.br_startblock | 1 |
| CAPPED_DATA | 0 | info->prev_rec.br_startoff | 1 |
| CAPPED_DATA | 1 | irec->br_startblock | 1 |
| CAPPED_DATA | 1 | irec->br_startoff | 1 |
| CAPPED_DATA | 2 | bno | 1 |
| DATA_SOURCE | 0 | info | $0 |
| DATA_SOURCE | 1 | irec | $1 |
| DATA_SOURCE | 2 | bno | $2 |
| DATA_SOURCE | 3 | owner | r I_INO |
| FUZZY_MAX | 1 | irec->br_state | 1 |
| HARD_MAX | 0 | info->whichfork | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->prev_rec.br_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | info->prev_rec.br_startblock | |
| 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_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_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.rmap_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | info->sc->sa.rmap_cur->bc_tp->t_rtx_res | |
| 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 |
fs/xfs/scrub/bmap.c xchk_bmap_xref_rmap_cow() -> xchk_bmap_get_rmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4111649917191753728 |
| PARAM_VALUE | 0 | info->icur.leaf | 1-u64max |
| 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_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | info->sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | info->sc->sa.rmap_cur | 1-u64max |
| PARAM_VALUE | 0 | info->sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | info->whichfork | 2 |
| 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 |
| PARAM_VALUE | 3 | owner | 18446744073709551607 |
| PARAM_VALUE | 4 | rmap | 3735551759440494592 |
| CAPPED_DATA | 0 | info->prev_rec.br_startblock | 1 |
| CAPPED_DATA | 0 | info->prev_rec.br_startoff | 1 |
| CAPPED_DATA | 1 | irec->br_startblock | 1 |
| CAPPED_DATA | 1 | irec->br_startoff | 1 |
| CAPPED_DATA | 2 | bno | 1 |
| DATA_SOURCE | 0 | info | $0 |
| DATA_SOURCE | 1 | irec | $1 |
| DATA_SOURCE | 2 | bno | $2 |
| FUZZY_MAX | 1 | irec->br_state | 1 |
| NO_OVERFLOW_SIMPLE | 0 | info->prev_rec.br_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | info->prev_rec.br_startblock | |
| 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_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_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.rmap_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | info->sc->sa.rmap_cur->bc_tp->t_rtx_res | |
| 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 |