Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/scrub/refcount.c xchk_refcountbt() -> xchk_refcountbt_xref_gaps()
| 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->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 | rrc | 2988311770238976000 |
| PARAM_VALUE | 1 | rrc->next_unshared_agbno | 0 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| 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 |
| UNITS | 2 | bno | unit_array_size |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/refcount.c xchk_refcountbt_rec() -> xchk_refcountbt_xref_gaps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| 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->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 | rrc | 4096-ptr_max |
| PARAM_VALUE | 1 | rrc->prev_domain | 0 |
| BUF_SIZE | 1 | rrc | (-1),8,16,28,64,152 |
| BUF_SIZE | 1 | rrc | (-1),8,16,28,64,152 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| 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 | |
| UNITS | 2 | bno | unit_array_size |