Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- fs/xfs/scrub/rtrefcount.c, line 48
- fs/xfs/scrub/rtrmap.c, line 53
- fs/xfs/scrub/rtrmap_repair.c, line 600
Smatch caller information:
fs/xfs/scrub/rtrmap.c xchk_setup_rtrmapbt() -> xchk_setup_rt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->file->f_path.dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| 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 | 3746040804808499200,5840378514548297728 |
| PARAM_VALUE | 0 | sc->sm->sm_type | 0-32 |
| PARAM_VALUE | 0 | sc->sr.rtg | 4096-ptr_max |
| BUF_SIZE | 0 | sc | 240 |
| DATA_SOURCE | 0 | sc | $0 |
| CAPABLE | 0 | 21 | |
| 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 |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/rtrmap_repair.c xrep_rtrmap_find_rmaps() -> xchk_setup_rt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur | 0 |
| PARAM_VALUE | 0 | sc->sr.rmap_cur | 0 |
| PARAM_VALUE | 0 | sc->sr.rtg | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.rtlock_flags | 0 |
| PARAM_VALUE | 0 | sc->tp | 0 |
| 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 |
fs/xfs/scrub/rtrefcount.c xchk_setup_rtrefcountbt() -> xchk_setup_rt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->file->f_path.dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| 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 | 3746040804808499200,5840378514548297728 |
| PARAM_VALUE | 0 | sc->sm->sm_type | 0-32 |
| PARAM_VALUE | 0 | sc->sr.rtg | 4096-ptr_max |
| BUF_SIZE | 0 | sc | 240 |
| DATA_SOURCE | 0 | sc | $0 |
| CAPABLE | 0 | 21 | |
| 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 |
| USER_PTR | 0 | sc->sm->sm_reserved |