Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/libxfs/xfs_refcount.c xfs_refcount_finish_one() -> xfs_refcount_continue_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_mem.xfbtree->target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_mem.xfbtree->target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_mem.xfbtree->target->bt_readahead_count.lock.owner_cpu | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_mem.xfbtree->target->bt_readahead_count.lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_tp->t_dfops.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_dfops.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ri | 4096-ptr_max |
| PARAM_VALUE | 1 | ri->ri_blockcount | 1-u32max |
| PARAM_VALUE | 1 | ri->ri_type | 1 |
| CAPPED_DATA | 0 | cur | 1 |
| DATA_SOURCE | 1 | ri | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 1 | ri->ri_blockcount | |
| NO_OVERFLOW_SIMPLE | 2 | new_agbno |
fs/xfs/libxfs/xfs_refcount.c xfs_refcount_finish_one() -> xfs_refcount_continue_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_mem.xfbtree->target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_mem.xfbtree->target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_mem.xfbtree->target->bt_readahead_count.lock.owner_cpu | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_mem.xfbtree->target->bt_readahead_count.lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_tp->t_dfops.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_dfops.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ri | 4096-ptr_max |
| PARAM_VALUE | 1 | ri->ri_blockcount | 1-u32max |
| PARAM_VALUE | 1 | ri->ri_type | 2 |
| CAPPED_DATA | 0 | cur | 1 |
| DATA_SOURCE | 1 | ri | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 1 | ri->ri_blockcount | |
| NO_OVERFLOW_SIMPLE | 2 | new_agbno |