xfs_alloc_vextent_check_args identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/xfs/libxfs/xfs_alloc.c, line 3495 (as a function)

Referenced in 1 files:

fs/xfs/libxfs/xfs_alloc.c

Smatch caller information:

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_vextent_exact_bno() -> xfs_alloc_vextent_check_args()

Type	Parameter	Key	Value
PARAM_VALUE	0	args	5483528807305191424,6125806291844673536,6378406742512791552
PARAM_VALUE	0	args->agbp	0,4096-ptr_max
PARAM_VALUE	0	args->alignment	0-1
PARAM_VALUE	0	args->alloc_minlen_only	0
PARAM_VALUE	0	args->datatype	0,4-5,7
PARAM_VALUE	0	args->fsbno	0,u64max
PARAM_VALUE	0	args->mp	4096-ptr_max
PARAM_VALUE	0	args->oinfo.oi_flags	0
PARAM_VALUE	0	args->oinfo.oi_offset	0
PARAM_VALUE	0	args->oinfo.oi_owner	0
PARAM_VALUE	0	args->pag	4096-ptr_max
PARAM_VALUE	0	args->resv	0
PARAM_VALUE	0	args->tp	0,4096-ptr_max
PARAM_VALUE	0	args->wasdel	0-1
PARAM_VALUE	0	args->wasfromfl	0-1
PARAM_VALUE	2	minimum_agno	1544922847118487552
CAPPED_DATA	0	args->agbno	1
CAPPED_DATA	0	args->tp	1
DATA_SOURCE	0	args	$0
DATA_SOURCE	1	target	$1
STR_LEN	0	args->tp	(-1)-1024
NOSPEC	0	args->maxlen
NOSPEC	0	args->minlen
NOSPEC	0	args->total
HARD_MAX	0	args->alignment	1
HARD_MAX	0	args->fsbno	u64max
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	args->maxlen	0-2097151[c]
USER_DATA	0	args->minlen	0-2097151,4292870145-4294967294[c]
USER_DATA	0	args->total	0-2097151[c]
UNITS	1	target	unit_array_size
HALF_LOCKED2		&mp->m_growlock

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_vextent_first_ag() -> xfs_alloc_vextent_check_args()

Type	Parameter	Key	Value
PARAM_VALUE	0	args	6378406742512791552
PARAM_VALUE	0	args->agbno	u32max
PARAM_VALUE	0	args->agbp	0,4096-ptr_max
PARAM_VALUE	0	args->agbp->b_addr->agf_bno_level	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_bno_root	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_btreeblks	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_cnt_level	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_cnt_root	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_flcount	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_flfirst	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_freeblks	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_refcount_level	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_refcount_root	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_rmap_blocks	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_rmap_level	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agf_rmap_root	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agi_free_level	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agi_free_root	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agi_level	0-4294967295
PARAM_VALUE	0	args->agbp->b_addr->agi_root	0-4294967295
PARAM_VALUE	0	args->agbp->b_log_item->bli_flags	0,2-u32max
PARAM_VALUE	0	args->agno	u32max
PARAM_VALUE	0	args->alignment	1-u32max
PARAM_VALUE	0	args->datatype	0,4-5,7
PARAM_VALUE	0	args->fsbno	u64max
PARAM_VALUE	0	args->min_agbno	0
PARAM_VALUE	0	args->minalignslop	0
PARAM_VALUE	0	args->minleft	0-65536
PARAM_VALUE	0	args->mp	4096-ptr_max
PARAM_VALUE	0	args->oinfo.oi_flags	0
PARAM_VALUE	0	args->oinfo.oi_offset	0
PARAM_VALUE	0	args->oinfo.oi_owner	0
PARAM_VALUE	0	args->pag	0,4096-ptr_max
PARAM_VALUE	0	args->resv	0
PARAM_VALUE	0	args->tp	0,4096-ptr_max
PARAM_VALUE	0	args->wasdel	0-1
PARAM_VALUE	0	args->wasfromfl	0-1
PARAM_VALUE	1	target	0
PARAM_VALUE	2	minimum_agno	6490330905806557184
CAPPED_DATA	0	args->tp	1
DATA_SOURCE	0	args	$0
DATA_SOURCE	1	target	$1
STR_LEN	0	args->tp	(-1)-1024
NOSPEC	0	args->maxlen
NOSPEC	0	args->minlen
NOSPEC	0	args->total
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	args->maxlen	0-2097151[c]
USER_DATA	0	args->minlen	0-u32max[c]
USER_DATA	0	args->total	0-2097151[c]
NO_OVERFLOW_SIMPLE	0	args->agbno

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_vextent_near_bno() -> xfs_alloc_vextent_check_args()

Type	Parameter	Key	Value
PARAM_VALUE	0	args	5741722290666688512,6125806291844673536,6378406742512791552,8309989290126053376,8424342240090968064,8522512738185940992
PARAM_VALUE	0	args->pag	0,4096-ptr_max
PARAM_VALUE	0	args->resv	0,2-3
PARAM_VALUE	0	args->wasdel	0-2
PARAM_VALUE	0	args->wasfromfl	0-1
PARAM_VALUE	2	minimum_agno	3375750769812496384
CAPPED_DATA	0	args->agbno	1
DATA_SOURCE	0	args	$0
DATA_SOURCE	1	target	$1
STR_LEN	0	args->tp	(-1)-1024
NOSPEC	0	args->maxlen
NOSPEC	0	args->minlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	args->maxlen	0-2097151[c]
USER_DATA	0	args->minlen	0-u32max[c]
NO_OVERFLOW_SIMPLE	0	args->agbno
NO_OVERFLOW_SIMPLE	0	args->total
UNITS	1	target	unit_array_size

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_vextent_start_ag() -> xfs_alloc_vextent_check_args()

Type	Parameter	Key	Value
PARAM_VALUE	0	args	1869195262207152128,2226235349540208640,5267699140127485952,6378406742512791552,6478353401184710656,7683102611480813568,8424342240090968064
PARAM_VALUE	0	args->agbno	u32max
PARAM_VALUE	0	args->agbp	0,4096-ptr_max
PARAM_VALUE	0	args->agno	u32max
PARAM_VALUE	0	args->min_agbno	0
PARAM_VALUE	0	args->minalignslop	0
PARAM_VALUE	0	args->oinfo.oi_flags	0,2-3
PARAM_VALUE	0	args->oinfo.oi_offset	0
PARAM_VALUE	0	args->pag	0,4096-ptr_max
PARAM_VALUE	0	args->resv	0,2-3,5
PARAM_VALUE	0	args->wasdel	0-2
PARAM_VALUE	0	args->wasfromfl	0-1
PARAM_VALUE	2	minimum_agno	881054270560194560
DATA_SOURCE	0	args	$0
DATA_SOURCE	1	target	$1
STR_LEN	0	args->tp	(-1)-1024
NOSPEC	0	args->maxlen
NOSPEC	0	args->minlen
NOSPEC	0	args->total
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	args->maxlen	0-2097151[c]
USER_DATA	0	args->minlen	0-u32max[c]
USER_DATA	0	args->total	0-2097151[c]
NO_OVERFLOW_SIMPLE	0	args->agbno
UNITS	1	target	unit_array_size

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_vextent_this_ag() -> xfs_alloc_vextent_check_args()

Type	Parameter	Key	Value
PARAM_VALUE	0	args	4096-ptr_max
PARAM_VALUE	0	args->agbno	0
PARAM_VALUE	0	args->pag	4096-ptr_max
PARAM_VALUE	2	minimum_agno	1720859972395765760
DATA_SOURCE	0	args	$0