Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_exact() -> xfs_alloc_fixup_trees()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cnt_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | cnt_cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 0 | cnt_cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_mem.xfbtree->target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 1 | bno_cur->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 1 | bno_cur->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 1 | bno_cur->bc_mem.xfbtree->target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 1 | bno_cur->bc_mem.xfbtree->target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 1 | bno_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_nlevels | 1-255 |
| PARAM_VALUE | 1 | bno_cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 1 | bno_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 1 | bno_cur->bc_ops->sick_mask | 16 |
| PARAM_VALUE | 1 | bno_cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 6 | flags | 1 |
| CAPPED_DATA | 4 | rbno | 1 |
| DATA_SOURCE | 0 | cnt_cur | r xfs_cntbt_init_cursor |
| DATA_SOURCE | 1 | bno_cur | r xfs_bnobt_init_cursor |
| STR_LEN | 0 | cnt_cur->bc_tp | (-1)-1024 |
| STR_LEN | 1 | bno_cur->bc_tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cnt_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cnt_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cnt_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 1 | bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 1 | bno_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 1 | bno_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 1 | bno_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 4 | rbno | |
| UNITS | 2 | fbno | unit_array_size |
| UNITS | 4 | rbno | unit_array_size |
| UNITS | 5 | rlen | unit_array_size |
| HALF_LOCKED2 | &mp->m_growlock |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_size() -> xfs_alloc_fixup_trees()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cnt_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_mem.xfbtree->target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | cnt_cur->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | cnt_cur->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | cnt_cur->bc_mem.xfbtree->target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | cnt_cur->bc_mem.xfbtree->target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | cnt_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | cnt_cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | cnt_cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cnt_cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 0 | cnt_cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cnt_cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 1 | bno_cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 1 | bno_cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 1 | bno_cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 6 | flags | 2 |
| CAPPED_DATA | 5 | rlen | 1 |
| DATA_SOURCE | 0 | cnt_cur | r xfs_cntbt_init_cursor |
| DATA_SOURCE | 1 | bno_cur | r xfs_bnobt_init_cursor |
| STR_LEN | 0 | cnt_cur->bc_tp | (-1)-1024 |
| STR_LEN | 1 | bno_cur->bc_tp | (-1)-1024 |
| PARAM_COMPARE | 3 | flen | >= $5 |
| PARAM_COMPARE | 5 | rlen | <= $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cnt_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cnt_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cnt_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cnt_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 1 | bno_cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 1 | bno_cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 1 | bno_cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 1 | bno_cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 4 | rbno | |
| UNITS | 2 | fbno | unit_array_size |
| UNITS | 3 | flen | unit_array_size |
| UNITS | 4 | rbno | unit_array_size |
| UNITS | 5 | rlen | unit_array_size |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_cur_finish() -> xfs_alloc_fixup_trees()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cnt_cur | 4096-ptr_max |
| PARAM_VALUE | 4 | rbno | 0-4294967294 |
| PARAM_VALUE | 5 | rlen | 1-u32max |
| PARAM_VALUE | 6 | flags | 0 |
| CAPPED_DATA | 4 | rbno | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 2 | fbno | |
| UNITS | 2 | fbno | unit_array_size |
| UNITS | 3 | flen | unit_array_size |
| UNITS | 4 | rbno | unit_array_size |
| UNITS | 5 | rlen | unit_array_size |