Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_exact() -> xfs_alloc_fix_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 5483528807305191424,6125806291844673536,6378406742512791552 |
| PARAM_VALUE | 0 | args->agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->agbp->b_flags | 0,2-u32max |
| PARAM_VALUE | 0 | args->alignment | 1 |
| PARAM_VALUE | 0 | args->alloc_minlen_only | 0 |
| PARAM_VALUE | 0 | args->fsbno | u64max |
| PARAM_VALUE | 0 | args->mod | 0-4294967294 |
| PARAM_VALUE | 0 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->mp->m_sb.sb_agblocks | 1-u32max |
| PARAM_VALUE | 0 | args->mp->m_sb.sb_agcount | 1-u32max |
| 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->prod | 1-u32max |
| PARAM_VALUE | 0 | args->resv | 0 |
| PARAM_VALUE | 0 | args->tp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_dfops.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_dfops.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | args->wasdel | 0-1 |
| PARAM_VALUE | 0 | args->wasfromfl | 0 |
| CAPPED_DATA | 0 | args->agbno | 1 |
| CAPPED_DATA | 0 | args->minlen | 1 |
| CAPPED_DATA | 0 | args->mod | 1 |
| CAPPED_DATA | 0 | args->mp->m_sb.sb_agcount | 1 |
| CAPPED_DATA | 0 | args->prod | 1 |
| DATA_SOURCE | 0 | args | $0 |
| STR_LEN | 0 | args->tp | (-1)-1024 |
| NOSPEC | 0 | args->total | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->total | 0-2097151[c] |
| NO_OVERFLOW_SIMPLE | 0 | args->tp->t_blk_res | |
| HALF_LOCKED2 | &mp->m_growlock |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_size() -> xfs_alloc_fix_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 4096-ptr_max |
| PARAM_VALUE | 0 | args->agbno | 0,u32max |
| PARAM_VALUE | 0 | args->agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->alignment | 1-u32max |
| PARAM_VALUE | 0 | args->fsbno | 0,u64max |
| PARAM_VALUE | 0 | args->mod | 0-4294967294 |
| PARAM_VALUE | 0 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pag | 4096-ptr_max |
| PARAM_VALUE | 0 | args->prod | 1-u32max |
| PARAM_VALUE | 0 | args->resv | 0-3,5 |
| PARAM_VALUE | 0 | args->tp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->wasdel | 0-2 |
| PARAM_VALUE | 0 | args->wasfromfl | 0 |
| CAPPED_DATA | 0 | args->len | 1 |
| CAPPED_DATA | 0 | args->min_agbno | 1 |
| CAPPED_DATA | 0 | args->minlen | 1 |
| CAPPED_DATA | 0 | args->prod | 1 |
| DATA_SOURCE | 0 | args | $0 |
| STR_LEN | 0 | args->tp | (-1)-1024 |
| NOSPEC | 0 | args->total | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->total | 0-2097151[c] |
| NO_OVERFLOW_SIMPLE | 0 | args->agbno | |
| NO_OVERFLOW_SIMPLE | 0 | args->tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | args->tp->t_rtx_res_used |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_cur_check() -> xfs_alloc_fix_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 4096-ptr_max |
| PARAM_VALUE | 0 | args->agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->agbp->b_flags | 0,2-u32max |
| PARAM_VALUE | 0 | args->alignment | 1-u32max |
| PARAM_VALUE | 0 | args->fsbno | u64max |
| PARAM_VALUE | 0 | args->mod | 0-4294967294 |
| PARAM_VALUE | 0 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->mp->m_filestream->grp_count | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_filestream->queued | 0-4294967295 |
| PARAM_VALUE | 0 | args->mp->m_sb.sb_agblocks | 1-u32max |
| PARAM_VALUE | 0 | args->mp->m_sb.sb_agcount | 1-u32max |
| PARAM_VALUE | 0 | args->pag | 4096-ptr_max |
| PARAM_VALUE | 0 | args->prod | 1-u32max |
| PARAM_VALUE | 0 | args->resv | 0-3,5 |
| PARAM_VALUE | 0 | args->tp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_dfops.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_dfops.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_dfops.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->wasdel | 0-2 |
| PARAM_VALUE | 0 | args->wasfromfl | 0 |
| CAPPED_DATA | 0 | args->len | 1 |
| CAPPED_DATA | 0 | args->min_agbno | 1 |
| CAPPED_DATA | 0 | args->minlen | 1 |
| CAPPED_DATA | 0 | args->mod | 1 |
| CAPPED_DATA | 0 | args->tp | 1 |
| DATA_SOURCE | 0 | args | $0 |
| STR_LEN | 0 | args->tp | (-1)-1024 |
| PARAM_COMPARE | 0 | args->max_agbno | >= $0->min_agbno |
| NOSPEC | 0 | args->total | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->total | 0-2097151[c] |
| NO_OVERFLOW_SIMPLE | 0 | args->agbno | |
| NO_OVERFLOW_SIMPLE | 0 | args->agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | args->len | |
| NO_OVERFLOW_SIMPLE | 0 | args->tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | args->tp->t_rtx_res_used |