Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_inode_fork.c xfs_iflush_fork() -> xfs_iflush_rtrefcount()

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_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 ip->i_metatype 8
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
CAPPED_DATA 0 ip->i_forkoff 1
DATA_SOURCE 0 ip $0
DATA_SOURCE 1 dip $1
NOCHECK_CALL
UNITS 0 ip unit_byte
LOCK2 &ailp->ail_lock
LOCK2 &bp->b_sema
TYPE_LOCK (struct xfs_buf)->b_sema