Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- fs/xfs/libxfs/xfs_alloc.c, line 3002
- fs/xfs/libxfs/xfs_alloc_btree.c, line 107
- fs/xfs/libxfs/xfs_rmap_btree.c, line 136
- fs/xfs/scrub/reap.c, line 158
Smatch caller information:
fs/xfs/libxfs/xfs_alloc_btree.c xfs_allocbt_free_block() -> xfs_alloc_put_freelist()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pag | 4096-ptr_max |
| PARAM_VALUE | 1 | tp | 4096-ptr_max |
| PARAM_VALUE | 1 | tp->t_mountp->m_filestream->grp_time | 0-4294967295 |
| PARAM_VALUE | 1 | tp->t_mountp->m_quotainfo->qi_dqperchunk | 0-4294967295 |
| PARAM_VALUE | 3 | agflbp | 0 |
| PARAM_VALUE | 5 | btreeblk | 1 |
| CAPPED_DATA | 4 | bno | 1 |
| DATA_SOURCE | 4 | bno | r xfs_daddr_to_agbno |
| STR_LEN | 0 | pag | (-1)-1024 |
| STR_LEN | 1 | tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 1 | tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 1 | tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 2 | agbp->b_map_count | |
| HALF_LOCKED2 | &pool->lock |
fs/xfs/libxfs/xfs_rmap_btree.c xfs_rmapbt_free_block() -> xfs_alloc_put_freelist()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pag | 4096-ptr_max |
| PARAM_VALUE | 1 | tp | 4096-ptr_max |
| PARAM_VALUE | 1 | tp->t_mountp->m_filestream->grp_time | 0-4294967295 |
| PARAM_VALUE | 1 | tp->t_mountp->m_quotainfo->qi_dqperchunk | 0-4294967295 |
| PARAM_VALUE | 2 | agbp | 4096-ptr_max |
| PARAM_VALUE | 2 | agbp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 2 | agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 2 | agbp->b_log_item | 4096-ptr_max |
| PARAM_VALUE | 2 | agbp->b_log_item->__bli_format.blf_flags | 0-u16max |
| PARAM_VALUE | 2 | agbp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 3 | agflbp | 0 |
| PARAM_VALUE | 5 | btreeblk | 1 |
| CAPPED_DATA | 1 | tp | 1 |
| CAPPED_DATA | 2 | agbp->b_log_item->bli_format_count | 1 |
| CAPPED_DATA | 4 | bno | 1 |
| DATA_SOURCE | 0 | pag | r to_perag |
| DATA_SOURCE | 4 | bno | r xfs_daddr_to_agbno |
| STR_LEN | 0 | pag | (-1)-1024 |
| STR_LEN | 1 | tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 1 | tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 1 | tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 2 | agbp->b_map_count | |
| HALF_LOCKED2 | &pool->lock |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_fix_freelist() -> xfs_alloc_put_freelist()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pag | 4096-ptr_max |
| PARAM_VALUE | 0 | pag->pag_group.xg_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 1 | tp | 4096-ptr_max |
| PARAM_VALUE | 1 | tp->t_dfops.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | tp->t_dfops.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | tp->t_mountp->m_sb.sb_agcount | 1-u32max |
| PARAM_VALUE | 2 | agbp | 4096-ptr_max |
| PARAM_VALUE | 2 | agbp->b_addr | 4096-ptr_max |
| PARAM_VALUE | 2 | agbp->b_addr->agf_freeblks | 0-4294967295 |
| PARAM_VALUE | 2 | agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 2 | agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 2 | agbp->b_lru_ref.counter | s32min-s32max |
| PARAM_VALUE | 2 | agbp->b_pag | 4096-ptr_max |
| PARAM_VALUE | 3 | agflbp | 4096-ptr_max |
| PARAM_VALUE | 3 | agflbp->b_lru_ref.counter | 0-4 |
| PARAM_VALUE | 4 | bno | 0-4294967294 |
| PARAM_VALUE | 5 | btreeblk | 0 |
| CAPPED_DATA | 1 | tp | 1 |
| CAPPED_DATA | 2 | agbp->b_log_item->bli_format_count | 1 |
| CAPPED_DATA | 4 | bno | 1 |
| STR_LEN | 0 | pag | (-1)-1024 |
| STR_LEN | 1 | tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 1 | tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 2 | agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 3 | agflbp->b_map_count | |
| UNITS | 4 | bno | unit_array_size |
fs/xfs/scrub/reap.c xreap_put_freelist() -> xfs_alloc_put_freelist()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pag | 4096-ptr_max |
| PARAM_VALUE | 0 | pag->pag_group.xg_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 1 | tp | 4096-ptr_max |
| PARAM_VALUE | 2 | agbp | 0,4096-ptr_max |
| PARAM_VALUE | 3 | agflbp | 4096-ptr_max |
| PARAM_VALUE | 3 | agflbp->b_lru_ref.counter | 0-4 |
| PARAM_VALUE | 4 | bno | 0-4294967294 |
| PARAM_VALUE | 5 | btreeblk | 0 |
| CAPPED_DATA | 1 | tp | 1 |
| CAPPED_DATA | 4 | bno | 1 |
| DATA_SOURCE | 4 | bno | $1 |
| NO_OVERFLOW_SIMPLE | 3 | agflbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 4 | bno | |
| UNITS | 4 | bno | unit_array_size |