Defined in 2 files as a function:
- fs/xfs/scrub/refcount.c, line 489 (as a function)
- fs/xfs/scrub/rtrefcount.c, line 509 (as a function)
Referenced in 2 files:
Smatch caller information:
fs/xfs/scrub/refcount.c xchk_refcountbt() -> xchk_refcount_xref_rmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 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->sa.refc_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | btree_oinfo | 0 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->mp->m_sb.sb_agblocks | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| NOCHECK_CALL | |||
| 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/rtrefcount.c xchk_rtrefcountbt() -> xchk_refcount_xref_rmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 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->sa.refc_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.refc_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.rmap_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.rmap_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.rmap_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sr.rtg | 4096-ptr_max |
| PARAM_VALUE | 1 | btree_oinfo | 7173811234074382336 |
| PARAM_VALUE | 1 | btree_oinfo->oi_flags | 2 |
| PARAM_VALUE | 2 | cow_blocks | 0 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->mp->m_sb.sb_rblocks | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| NOCHECK_CALL | |||
| 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 |