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_rtgroup.c xfs_initialize_rtgroups() -> xfs_rtgroup_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_sb.sb_crc 0
PARAM_VALUE 0 mp->m_sb.sb_gquotino 1-u64max
PARAM_VALUE 0 mp->m_sb.sb_pquotino 1-u64max
PARAM_VALUE 0 mp->m_sb.sb_uquotino 1-u64max
PARAM_VALUE 0 mp->m_super 4096-ptr_max
PARAM_VALUE 0 *mp->m_bm_maxlevels 0-4294967295
PARAM_VALUE 1 rgno 0-4294967294
PARAM_VALUE 2 rgcount 1-u32max
CAPPED_DATA 1 rgno 1
CAPPED_DATA 2 rgcount 1
DATA_SOURCE 0 mp $0
DATA_SOURCE 2 rgcount $2
DATA_SOURCE 3 rextents $3
PARAM_COMPARE 1 rgno < $2
PARAM_COMPARE 2 rgcount > $1
UNITS 0 mp unit_byte

fs/xfs/xfs_rtalloc.c xfs_growfs_rt() -> xfs_rtgroup_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_rtdev_targp 1-u64max
PARAM_VALUE 0 mp->m_sb.sb_rblocks 0-18446744073709551614
PARAM_VALUE 1 rgno 0-4294967294
PARAM_VALUE 2 rgcount 1-u32max
CAPPED_DATA 0 mp->m_sb.sb_blocklog 1
CAPPED_DATA 0 mp->m_sb.sb_rblocks 1
CAPPED_DATA 0 &mp->m_growlock 1
CAPPED_DATA 1 rgno 1
DATA_SOURCE 0 mp $0
DATA_SOURCE 3 rextents r div_u64
FUZZY_MAX 0 mp->m_sb.sb_rblocks 1
CAPABLE 0 21
PARAM_COMPARE 1 rgno < $2
PARAM_COMPARE 2 rgcount > $1
NOSPEC 2 rgcount
USER_DATA 2 rgcount 1-u32max[c]
USER_DATA 3 rextents 0-9223372036854775808[c]
UNITS 0 mp unit_byte
LOCK2 0 &mp->m_growlock
TYPE_LOCK (struct xfs_mount)->m_growlock