Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

fs/xfs/scrub/agheader_repair.c xrep_agfl_update_agf() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 0,4096-ptr_max
PARAM_VALUE 0 tp->t_items.prev 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 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 bp->b_sema.lock.owner (-1)
PARAM_VALUE 1 bp->b_sema.lock.owner_cpu u32max
PARAM_VALUE 1 bp->b_sema.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 2 fields 448
CAPPED_DATA 0 tp 1
DATA_SOURCE 1 bp $1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_alloc_btree.c xfs_allocbt_commit_staged_btree() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 0,4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 48
CAPPED_DATA 0 tp 1
DATA_SOURCE 0 tp $1
DATA_SOURCE 1 bp $2
NOCHECK_CALL

fs/xfs/libxfs/xfs_alloc_btree.c xfs_allocbt_set_root() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 0,4096-ptr_max
PARAM_VALUE 0 tp->t_mountp->m_quotainfo->qi_dqperchunk 0-4294967295
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 48
CAPPED_DATA 0 tp 1
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/scrub/repair.c xrep_defer_finish() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 1 bp 1-u64max
PARAM_VALUE 1 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 2 fields 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
NO_OVERFLOW_SIMPLE 1 bp->b_transp->t_rtx_res_used
HALF_LOCKED2 &dq->q_qlock

fs/xfs/scrub/repair.c xrep_roll_ag_trans() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 1 bp 1-u64max
PARAM_VALUE 1 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 2 fields 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_rmap_btree.c xfs_rmapbt_alloc_block() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->t_items.prev 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_filestream->grp_time 0-4294967295
PARAM_VALUE 0 tp->t_mountp->m_quotainfo->qi_dqperchunk 0-4294967295
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 8192
CAPPED_DATA 0 tp 1
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used

fs/xfs/libxfs/xfs_rmap_btree.c xfs_rmapbt_commit_staged_btree() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 8240
DATA_SOURCE 0 tp $1
DATA_SOURCE 1 bp $2
NOCHECK_CALL

fs/xfs/libxfs/xfs_rmap_btree.c xfs_rmapbt_free_block() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->t_mountp->m_filestream->grp_time 0-4294967295
PARAM_VALUE 0 tp->t_mountp->m_quotainfo->qi_dqperchunk 0-4294967295
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 8192
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
HALF_LOCKED2 &pool->lock

fs/xfs/libxfs/xfs_rmap_btree.c xfs_rmapbt_set_root() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 0,4096-ptr_max
PARAM_VALUE 0 tp->t_mountp->m_quotainfo->qi_dqperchunk 0-4294967295
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 48
CAPPED_DATA 0 tp 1
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_alloc.c xfs_agfl_reset() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->t_items.prev 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 4096-ptr_max
PARAM_VALUE 0 tp->t_mountp->m_super 0,4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 bp->b_sema.lock.owner (-1)
PARAM_VALUE 1 bp->b_sema.lock.owner_cpu u32max
PARAM_VALUE 1 bp->b_sema.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 2 fields 448
CAPPED_DATA 0 tp 1
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 bp $1
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
BIT_INFO 0 tp->t_flags 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_fixup_longest() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 1024
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_get_freelist() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->t_items.prev 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 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 320,2368
CAPPED_DATA 0 tp 1
DATA_SOURCE 0 tp $1
DATA_SOURCE 1 bp $2
FUZZY_MAX 2 fields 320
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
BIT_INFO 2 fields 0x140,0x940
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_put_freelist() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->t_mountp 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 2 fields 384,2432
CAPPED_DATA 0 tp 1
DATA_SOURCE 0 tp $1
DATA_SOURCE 1 bp $2
FUZZY_MAX 2 fields 384
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
BIT_INFO 2 fields 0x180,0x980
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_update_counters() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_pag 4096-ptr_max
PARAM_VALUE 2 fields 512
CAPPED_DATA 0 tp 1
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 bp $1
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/scrub/rmap_repair.c xrep_rmap_reset_counters() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 2048
NOCHECK_CALL

fs/xfs/scrub/alloc_repair.c xrep_abt_reset_counters() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 3584
NOCHECK_CALL

fs/xfs/libxfs/xfs_refcount_btree.c xfs_refcountbt_alloc_block() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 16384
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used

fs/xfs/libxfs/xfs_refcount_btree.c xfs_refcountbt_commit_staged_btree() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 114688
DATA_SOURCE 0 tp $1
DATA_SOURCE 1 bp $2
NOCHECK_CALL

fs/xfs/libxfs/xfs_refcount_btree.c xfs_refcountbt_free_block() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->t_mountp->m_filestream->grp_time 0-4294967295
PARAM_VALUE 0 tp->t_mountp->m_quotainfo->qi_dqperchunk 0-4294967295
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 2 fields 16384
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
HALF_LOCKED2 &pool->lock

fs/xfs/libxfs/xfs_refcount_btree.c xfs_refcountbt_set_root() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 0,4096-ptr_max
PARAM_VALUE 0 tp->t_mountp->m_quotainfo->qi_dqperchunk 0-4294967295
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_pag 4096-ptr_max
PARAM_VALUE 2 fields 98304
CAPPED_DATA 0 tp 1
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_ag.c xfs_ag_extend_space() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->t_highest_agno u32max
PARAM_VALUE 0 tp->t_items.prev 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 4096-ptr_max
PARAM_VALUE 0 tp->t_pflags 0,262144
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_flags 0,32-u32max
PARAM_VALUE 1 bp->b_log_item->__bli_format.blf_flags 0-u16max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-4294967295
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 2 fields 8
CAPPED_DATA 0 tp 1
DATA_SOURCE 0 tp $1
CAPABLE 0 21
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
LOCK2 &mp->m_growlock
TYPE_LOCK (struct xfs_mount)->m_growlock

fs/xfs/libxfs/xfs_ag.c xfs_ag_shrink_space() -> xfs_alloc_log_agf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 2 fields 8
CAPABLE 0 21
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
LOCK2 &mp->m_growlock
TYPE_LOCK (struct xfs_mount)->m_growlock