Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- fs/xfs/scrub/agheader.c
- fs/xfs/scrub/alloc.c, line 110
- fs/xfs/scrub/bmap.c
- fs/xfs/scrub/ialloc.c, line 280
- fs/xfs/scrub/inode.c, line 750
Smatch caller information:
fs/xfs/scrub/bmap.c xchk_bmap_iextent_xref() -> xchk_xref_is_not_shared()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | sc->sa.fino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops | 5493477311123169280 |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops | 3248889349463830528 |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops | 3386398652014444544 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.nr_ops | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.shape_changes | 0 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops | 248903091670867968 |
| 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->tp | 0,4096-ptr_max |
| CAPPED_DATA | 0 | sc->tp | 1 |
| CAPPED_DATA | 1 | agbno | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 2 | len | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/bmap.c xchk_bmap_iextent_xref() -> xchk_xref_is_not_shared()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | sc->sa.fino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops | 5493477311123169280 |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops | 3248889349463830528 |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops | 3386398652014444544 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.nr_ops | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.shape_changes | 0 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops | 248903091670867968 |
| 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->tp | 0,4096-ptr_max |
| CAPPED_DATA | 0 | sc->tp | 1 |
| CAPPED_DATA | 1 | agbno | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 2 | len | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/bmap.c xchk_bmap_iextent_xref() -> xchk_xref_is_not_shared()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | sc->sa.fino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops | 5493477311123169280 |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops | 3248889349463830528 |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops | 3386398652014444544 |
| 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.refc_cur->bc_refc.nr_ops | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.shape_changes | 0 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops | 248903091670867968 |
| 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->tp | 0,4096-ptr_max |
| CAPPED_DATA | 0 | sc->tp | 1 |
| CAPPED_DATA | 1 | agbno | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 2 | len | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/inode.c xchk_inode_xref() -> xchk_xref_is_not_shared()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 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->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.bno_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops | 5493477311123169280 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops | 3248889349463830528 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops | 3386398652014444544 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.nr_ops | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.shape_changes | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops | 248903091670867968 |
| 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->sa.rmap_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->mp->m_sb.sb_inodesize | 1 |
| CAPPED_DATA | 0 | sc->tp | 1 |
| CAPPED_DATA | 1 | agbno | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | sc->sa.fino_cur->bc_rec.i.ir_startino | 0-u32max[c] |
| 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 |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res | |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/alloc.c xchk_allocbt_xref() -> xchk_xref_is_not_shared()
| 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.fino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_holemask | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_holemask | 0 |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| DATA_SOURCE | 0 | sc | $0 |
| 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.fino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_blk_res | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/ialloc.c xchk_iallocbt_chunk() -> xchk_xref_is_not_shared()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops->type | 0-2 |
| 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 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | agbno |
fs/xfs/scrub/agheader.c xchk_agf_xref() -> xchk_xref_is_not_shared()
| 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->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agf_bp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.bno_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_rec.a.ar_blockcount | u32max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_rec.a.ar_startblock | 0 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops | 5493477311123169280 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_holemask | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops | 3248889349463830528 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_holemask | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops | 3386398652014444544 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.nr_ops | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.shape_changes | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops | 248903091670867968 |
| 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->sa.rmap_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->tp | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| NOSPEC | 0 | sc->sm->sm_type | |
| 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 |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res_used | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res_used | |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/agheader.c xchk_agfl_block_xref() -> xchk_xref_is_not_shared()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_holemask | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_holemask | 0 |
| 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 | 1 | agbno | 0-4294967294 |
| PARAM_VALUE | 2 | len | 1 |
| CAPPED_DATA | 1 | agbno | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | agbno | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/xfs/scrub/agheader.c xchk_agfl_xref() -> xchk_xref_is_not_shared()
| 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->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agf_bp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.bno_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops | 5493477311123169280 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_holemask | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops | 3248889349463830528 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_holemask | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.refc_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops | 3386398652014444544 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.nr_ops | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.shape_changes | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops | 248903091670867968 |
| 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->sa.rmap_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->tp | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| NOSPEC | 0 | sc->sm->sm_type | |
| 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 |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res_used | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res_used | |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/agheader.c xchk_agi_xref() -> xchk_xref_is_not_shared()
| 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->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agf_bp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.bno_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops | 5493477311123169280 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_holemask | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mem.xfbtree->target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mem.xfbtree->target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mem.xfbtree->target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops | 3386398652014444544 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.nr_ops | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.shape_changes | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops | 248903091670867968 |
| 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->sa.rmap_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->tp | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| NOSPEC | 0 | sc->sm->sm_type | |
| 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 |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res_used | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res_used | |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/agheader.c xchk_superblock_xref() -> xchk_xref_is_not_shared()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| PARAM_VALUE | 0 | sc->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_recur | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_log_item->bli_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_rcu.next | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.last_holder | 0 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner | (-1) |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_transp | 0 |
| PARAM_VALUE | 0 | sc->sa.bno_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 0 | sc->sa.bno_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_ops | 5493477311123169280 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_rec.i.ir_holemask | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_ops | 3248889349463830528 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_count | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_free | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_freecount | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_rec.i.ir_holemask | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_ops | 3386398652014444544 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.nr_ops | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_refc.shape_changes | 0 |
| PARAM_VALUE | 0 | sc->sa.refc_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.rmap_cur->bc_ops | 248903091670867968 |
| 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->sa.rmap_cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm->sm_agno | 1-u32max |
| PARAM_VALUE | 0 | sc->tp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->tp | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | sc->sm->sm_agno | 1-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 |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.bno_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.cnt_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.fino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.ino_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.refc_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | sc->sa.rmap_cur->bc_tp->t_rtx_res | |
| USER_PTR | 0 | sc->sm->sm_reserved |