Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

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