Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 args->dp->i_mount->m_healthmon->ref.refs.counter s32min-s32max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->trans 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
CAPPED_DATA 0 args->trans 1
DATA_SOURCE 0 args $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/libxfs/xfs_attr.c xfs_attr_try_sf_addname() -> xfs_attr_shortform_create()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_af.if_format 2
PARAM_VALUE 0 args->dp->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 args->dp->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 args->dp->i_mount->m_sb_bp->b_ops->name 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_sb_bp->b_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_sb_bp->b_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_sb_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 args->trans 4096-ptr_max
BUF_SIZE 0 args->name (-1),4,8,13,16-17,256
BUF_SIZE 0 args->value (-1)-s32max
CAPPED_DATA 0 args->trans 1
DATA_SOURCE 0 args $0
STR_LEN 0 args->name (-1),12,15
NOSPEC 0 args->valuelen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 args->hashval 0-u32max[c]
USER_DATA 0 args->rmtblkcnt 0-s32max[c]
USER_DATA 0 args->valuelen 0-65536
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 0 args->trans->t_mountp->m_sb_bp->b_transp->t_rtx_res_used
USER_PTR 0 args->name
USER_PTR 0 args->value