Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/xfs_inode.c xfs_iflush() -> xfs_iflush_fork()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_flags 0,128-u64max
PARAM_VALUE 0 ip->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ip->i_itemp 4096-ptr_max
PARAM_VALUE 0 ip->i_itemp->ili_fields 1-u32max
PARAM_VALUE 0 ip->i_mount 4096-ptr_max
PARAM_VALUE 0 ip->i_mount->m_errortag 4096-ptr_max
PARAM_VALUE 0 ip->i_pincount.counter 0
PARAM_VALUE 1 dip 4096-ptr_max
PARAM_VALUE 1 dip->di_changecount 0-9223372036854775807
PARAM_VALUE 1 dip->di_magic 18766
PARAM_VALUE 1 dip->di_nrext64_pad 0
PARAM_VALUE 1 dip->di_version 2-3
PARAM_VALUE 1 *dip->di_pad2 0-255
PARAM_VALUE 1 *dip->di_v2_pad 0-255
PARAM_VALUE 2 iip 4096-ptr_max
PARAM_VALUE 2 iip->ili_fields 1-u32max
PARAM_VALUE 3 whichfork 0
CAPPED_DATA 0 ip->i_forkoff 1
DATA_SOURCE 0 ip $0
DATA_SOURCE 1 dip r xfs_buf_offset
NOCHECK_CALL
UNITS 0 ip unit_byte
LOCK2 &ailp->ail_lock
LOCK2 &bp->b_sema
TYPE_LOCK (struct xfs_buf)->b_sema

fs/xfs/xfs_inode.c xfs_iflush() -> xfs_iflush_fork()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_af.if_format (-128)-4,6-127
PARAM_VALUE 0 ip->i_flags 0,128-u64max
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 4096-ptr_max
PARAM_VALUE 0 ip->i_itemp->ili_fields 1-u32max
PARAM_VALUE 0 ip->i_mount 4096-ptr_max
PARAM_VALUE 0 ip->i_mount->m_errortag 4096-ptr_max
PARAM_VALUE 0 ip->i_pincount.counter 0
PARAM_VALUE 1 dip 4096-ptr_max
PARAM_VALUE 1 *dip->di_pad2 0-255
PARAM_VALUE 1 *dip->di_v2_pad 0-255
PARAM_VALUE 2 iip 4096-ptr_max
PARAM_VALUE 2 iip->ili_fields 1-u32max
PARAM_VALUE 3 whichfork 1
CAPPED_DATA 0 ip->i_forkoff 1
DATA_SOURCE 0 ip $0
DATA_SOURCE 1 dip r xfs_buf_offset
NOCHECK_CALL
UNITS 0 ip unit_byte
LOCK2 &ailp->ail_lock
LOCK2 &bp->b_sema
TYPE_LOCK (struct xfs_buf)->b_sema