Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_fix_freelist() -> xfs_alloc_update_counters()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_dfops.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_dfops.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_mountp->m_sb.sb_agcount | 1-u32max |
| PARAM_VALUE | 1 | agbp | 4096-ptr_max |
| PARAM_VALUE | 1 | agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 1 | agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 1 | agbp->b_lru_ref.counter | s32min-s32max |
| PARAM_VALUE | 2 | len | (-4294967295)-0 |
| CAPPED_DATA | 0 | tp | 1 |
| STR_LEN | 0 | tp | (-1)-1024 |
| STR_LEN | 0 | tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 1 | agbp->b_map_count |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_vextent_finish() -> xfs_alloc_update_counters()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_dfops.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_dfops.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | agbp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | len | (-4294967295)-0 |
| CAPPED_DATA | 0 | tp | 1 |
| STR_LEN | 0 | tp | (-1)-1024 |
| STR_LEN | 0 | tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | tp->t_blk_res |
fs/xfs/libxfs/xfs_alloc.c xfs_free_ag_extent() -> xfs_alloc_update_counters()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 1 | agbp | 4096-ptr_max |
| CAPPED_DATA | 0 | tp | 1 |
| DATA_SOURCE | 0 | tp | $0 [m] |
| DATA_SOURCE | 1 | agbp | $1 [m] |
| DATA_SOURCE | 2 | len | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 1 | agbp->b_map_count | |
| UNITS | 2 | len | unit_array_size |