Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/xfs_trans_buf.c xfs_trans_getrtsb() -> __xfs_trans_getsb()

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_icount.lock.dep_map->name 0-255
PARAM_VALUE 0 tp->t_mountp->m_icount.lock.owner (-1)
PARAM_VALUE 0 tp->t_mountp->m_icount.lock.owner_cpu u32max
PARAM_VALUE 0 tp->t_mountp->m_ifree.lock.dep_map->name 0-255
PARAM_VALUE 0 tp->t_mountp->m_ifree.lock.owner (-1)
PARAM_VALUE 0 tp->t_mountp->m_ifree.lock.owner_cpu u32max
PARAM_VALUE 0 tp->t_mountp->m_quotainfo->qi_expiry_max 0,4294967295,16299260424
PARAM_VALUE 0 tp->t_mountp->m_quotainfo->qi_expiry_min 0-1,4
PARAM_VALUE 0 tp->t_mountp->m_rtsb_bp 1-u64max
PARAM_VALUE 0 tp->t_mountp->m_sb.sb_fdblocks 0-9223372036854775807
PARAM_VALUE 0 tp->t_mountp->m_sb.sb_frextents 0-9223372036854775807
PARAM_VALUE 0 tp->t_mountp->m_sb.sb_icount 0-9223372036854775807
PARAM_VALUE 0 tp->t_mountp->m_sb.sb_ifree 0-9223372036854775807
PARAM_VALUE 0 tp->t_mountp->m_sb_bp 4096-ptr_max
PARAM_VALUE 0 tp->t_mountp->m_sb_bp->b_log_item->bli_item.li_ops 7624885838453530624
PARAM_VALUE 0 tp->t_mountp->m_sb_bp->b_log_item->bli_item.li_type 4668
PARAM_VALUE 0 tp->t_mountp->m_sb_bp->b_map_count 0-s32max
PARAM_VALUE 0 tp->t_mountp->m_sb_bp->b_sema.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 tp->t_mountp->m_sb_bp->b_sema.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 tp->t_mountp->m_sb_bp->b_sema.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 tp->t_mountp->m_sb_bp->b_sema.lock.dep_map->name 0-255
PARAM_VALUE 0 tp->t_mountp->m_sb_bp->b_transp 4096-ptr_max
PARAM_VALUE 0 tp->t_mountp->m_sb_bp->b_transp->t_items.prev 4096-ptr_max
PARAM_VALUE 0 tp->t_mountp->m_sb_bp->b_transp->t_mountp 4096-ptr_max
PARAM_VALUE 1 bp 1-u64max
CAPPED_DATA 0 tp 1
CAPPED_DATA 0 tp->t_mountp->m_sb_bp 1
DATA_SOURCE 0 tp $0

fs/xfs/xfs_trans_buf.c xfs_trans_getsb() -> __xfs_trans_getsb()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->t_mountp 4096-ptr_max
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tp->t_imaxpct_delta (-255)-100[c][u]
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_dqinfo
NO_OVERFLOW_SIMPLE 0 tp->t_mountp->m_sb_bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 tp->t_mountp->m_sb_bp->b_transp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_mountp->m_sb_bp->b_transp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 tp->t_ticket
NO_OVERFLOW_SIMPLE 1 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 1 bp->b_transp->t_rtx_res
NO_OVERFLOW_SIMPLE 1 bp->b_transp->t_rtx_res_used
HALF_LOCKED2 &mp->m_quotainfo->qi_quotaofflock