Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/libxfs/xfs_refcount.c xfs_refcount_adjust_extents() -> xfs_refcount_update()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_mem.xfbtree->target->bt_hash.nelems.counter s32min-s32max
PARAM_VALUE 0 cur->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 0 cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 cur->bc_nlevels 1-255
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->name 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 0 cur->bc_rec.rc.rc_blockcount 0
PARAM_VALUE 0 cur->bc_rec.rc.rc_domain 0-1
PARAM_VALUE 1 irec 5069769738492350464
PARAM_VALUE 1 irec->rc_blockcount 1-u32max
PARAM_VALUE 1 irec->rc_domain 0
PARAM_VALUE 1 irec->rc_refcount 2-u32max
CAPPED_DATA 0 cur 1
DATA_SOURCE 0 cur $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.b.br_startoff
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 irec->rc_blockcount

fs/xfs/libxfs/xfs_refcount.c xfs_refcount_merge_center_extents() -> xfs_refcount_update()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ag.afake->af_levels 0-4294967295
PARAM_VALUE 0 cur->bc_ag.afake->af_root 0-4294967295
PARAM_VALUE 0 cur->bc_cache 4096-ptr_max
PARAM_VALUE 0 cur->bc_ino.ip->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 cur->bc_mem.xfbtree->nlevels 0-4294967295
PARAM_VALUE 0 cur->bc_mem.xfbtree->target->bt_hash.nelems.counter s32min-s32max
PARAM_VALUE 0 cur->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 0 cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 cur->bc_nlevels 1-255
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->name 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 0 cur->bc_rec.rc.rc_blockcount 0
PARAM_VALUE 0 cur->bc_rec.rc.rc_domain 0-1
PARAM_VALUE 0 cur->bc_rec.rc.rc_startblock 0-4294967294
PARAM_VALUE 0 *cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 irec 9074377607282827264
PARAM_VALUE 1 irec->rc_blockcount 0-4294967294
PARAM_VALUE 1 irec->rc_domain 0-1
PARAM_VALUE 1 irec->rc_startblock 0-4294967294
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
CAPPED_DATA 0 cur 1
CAPPED_DATA 1 irec->rc_domain 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 irec $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.b.br_startoff
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_refcount.c xfs_refcount_merge_left_extent() -> xfs_refcount_update()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_mem.xfbtree->target->bt_hash.nelems.counter s32min-s32max
PARAM_VALUE 0 cur->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 0 cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 cur->bc_nlevels 1-255
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->name 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 0 cur->bc_rec.rc.rc_blockcount 0
PARAM_VALUE 0 cur->bc_rec.rc.rc_domain 0-1
PARAM_VALUE 0 cur->bc_rec.rc.rc_startblock 0-4294967294
PARAM_VALUE 1 irec 9074377607282827264
PARAM_VALUE 1 irec->rc_domain 0-1
PARAM_VALUE 1 irec->rc_startblock 0-4294967294
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
CAPPED_DATA 0 cur 1
CAPPED_DATA 1 irec->rc_domain 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 irec $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.b.br_startoff
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_refcount.c xfs_refcount_merge_right_extent() -> xfs_refcount_update()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_mem.xfbtree->target->bt_hash.nelems.counter s32min-s32max
PARAM_VALUE 0 cur->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 0 cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 cur->bc_mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 cur->bc_nlevels 1-255
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->name 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 0 cur->bc_rec.rc.rc_blockcount 0
PARAM_VALUE 0 cur->bc_rec.rc.rc_domain 0-1
PARAM_VALUE 0 cur->bc_rec.rc.rc_startblock 0-4294967294
PARAM_VALUE 1 irec 2173042181880926208
PARAM_VALUE 1 irec->rc_domain 0-1
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
CAPPED_DATA 0 cur 1
CAPPED_DATA 1 irec->rc_domain 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 irec $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.b.br_startoff
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_rtx_res_used

fs/xfs/libxfs/xfs_refcount.c xfs_refcount_split_extent() -> xfs_refcount_update()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 cur->bc_nlevels 1-255
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->name 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 cur->bc_rec.rc.rc_blockcount 0
PARAM_VALUE 0 cur->bc_rec.rc.rc_domain 0-1
PARAM_VALUE 1 irec 491139522041655296
PARAM_VALUE 1 irec->rc_domain 0-1
PARAM_VALUE 1 irec->rc_startblock 0-4294967294
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
CAPPED_DATA 0 cur 1
DATA_SOURCE 0 cur $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 cur->bc_tp->t_rtx_res_used