Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/xfs/scrub/attr_repair.c xrep_xattr_fork_remove() -> xfs_attr_fork_remove()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_df.if_format (-128)-2,4-127
PARAM_VALUE 0 ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 1 tp 0,4096-ptr_max
CAPPED_DATA 0 ip 1
DATA_SOURCE 0 ip $1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 tp->t_blk_res

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr3_leaf_to_shortform() -> xfs_attr_fork_remove()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 1 tp 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
CAPPED_DATA 1 tp 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ip unit_byte

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr_sf_removename() -> xfs_attr_fork_remove()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_af.if_data 4096-ptr_max
PARAM_VALUE 0 ip->i_df.if_format (-128)-2,4-127
PARAM_VALUE 0 ip->i_mount 4096-ptr_max
STR_LEN 0 ip (-1)
STR_LEN 1 tp (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 tp->t_blk_res
NO_OVERFLOW_SIMPLE 1 tp->t_mountp->m_sb_bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 1 tp->t_mountp->m_sb_bp->b_transp->t_rtx_res_used
UNITS 0 ip unit_byte

fs/xfs/xfs_attr_inactive.c xfs_attr_inactive() -> xfs_attr_fork_remove()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_cowfp 0,4096-ptr_max
PARAM_VALUE 0 ip->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ip->i_forkoff 1-255
PARAM_VALUE 0 ip->i_itemp 1-u64max
PARAM_VALUE 0 ip->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 ip->i_itemp->ili_item.li_lv 0
PARAM_VALUE 0 ip->i_itemp->ili_lock_flags 0,4
PARAM_VALUE 0 ip->i_lock.dep_map->name 0-255
PARAM_VALUE 0 ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ip->i_lock.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 ip->i_mount->m_inodegc_wq->first_flusher->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ip->i_mount->m_inodegc_wq->flush_color s32min-s32max
PARAM_VALUE 0 ip->i_mount->m_inodegc_wq->flusher_overflow.prev->next 2906673126597898240
PARAM_VALUE 0 ip->i_mount->m_inodegc_wq->work_color s32min-s32max
PARAM_VALUE 0 ip->i_mount->m_super 4096-ptr_max
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 1 tp->t_flags 0-4294967295
PARAM_VALUE 1 tp->t_highest_agno 4294967295
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_icount.lock.owner_cpu 0-4294967295
PARAM_VALUE 1 tp->t_mountp->m_icount.lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 tp->t_mountp->m_ifree.lock.owner_cpu 0-4294967295
PARAM_VALUE 1 tp->t_mountp->m_ifree.lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 tp->t_mountp->m_sb.sb_rextsize 0-4294967295
PARAM_VALUE 1 tp->t_mountp->m_sb.sb_rgblklog 0-255
PARAM_VALUE 1 tp->t_mountp->m_sb_bp->b_map_count s32min-s32max
PARAM_VALUE 1 tp->t_mountp->m_sb_bp->b_sema.lock.owner_cpu 0-4294967295
PARAM_VALUE 1 tp->t_pflags 0,262144
DATA_SOURCE 0 ip $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 1 tp->t_blk_res
UNITS 0 ip unit_byte
HALF_LOCKED2 &pool->lock