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_bmap.c xfs_bmap_btalloc_best_length() -> xfs_bmap_btalloc_low_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ap | 7078978139519856640,7228274775691866112 |
| PARAM_VALUE | 0 | ap->flags | 0,2-u32max |
| PARAM_VALUE | 0 | ap->got.br_state | 0-1 |
| PARAM_VALUE | 0 | ap->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->ip->i_mount->m_errortag | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->logflags | 0-s32max |
| PARAM_VALUE | 0 | ap->tp | 4096-ptr_max |
| PARAM_VALUE | 1 | args | 6378406742512791552 |
| PARAM_VALUE | 1 | args->agbp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_bno_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_bno_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_cnt_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_cnt_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_freeblks | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_refcount_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_refcount_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_rmap_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_rmap_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agi_free_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agi_free_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agi_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agi_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 1 | args->alignment | 1-u32max |
| PARAM_VALUE | 1 | args->alloc_minlen_only | 0 |
| PARAM_VALUE | 1 | args->fsbno | u64max |
| PARAM_VALUE | 1 | args->min_agbno | 0 |
| PARAM_VALUE | 1 | args->minalignslop | 0 |
| PARAM_VALUE | 1 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 1 | args->oinfo.oi_flags | 0 |
| PARAM_VALUE | 1 | args->oinfo.oi_offset | 0 |
| PARAM_VALUE | 1 | args->oinfo.oi_owner | 0 |
| PARAM_VALUE | 1 | args->pag | 0,4096-ptr_max |
| PARAM_VALUE | 1 | args->resv | 0 |
| PARAM_VALUE | 1 | args->tp | 4096-ptr_max |
| PARAM_VALUE | 1 | args->wasdel | 0-1 |
| PARAM_VALUE | 1 | args->wasfromfl | 0-1 |
| CAPPED_DATA | 1 | args->mp->m_sb.sb_agcount | 1 |
| CAPPED_DATA | 1 | args->prod | 1 |
| DATA_SOURCE | 0 | ap | $0 |
| DATA_SOURCE | 1 | args | $1 |
| STR_LEN | 0 | ap->tp | (-1)-1024 |
| BIT_INFO | 0 | ap->flags | 0x0,0x7fffffff |
| NOSPEC | 0 | ap->minlen | |
| NOSPEC | 1 | args->minlen | |
| NOSPEC | 1 | args->total | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ap->aeof | 0-1 |
| USER_DATA | 0 | ap->got.br_blockcount | 0-2097151[c] |
| USER_DATA | 0 | ap->got.br_startoff | 0-s32max[c] |
| USER_DATA | 0 | ap->length | 0-2097151[c] |
| USER_DATA | 0 | ap->minlen | 0-2097151[c] |
| USER_DATA | 0 | ap->offset | 0-2149580798[c] |
| USER_DATA | 0 | ap->prev.br_blockcount | 0-2097151[c] |
| USER_DATA | 0 | ap->prev.br_startoff | 0-s32max[c] |
| USER_DATA | 1 | args->minlen | 0-u32max[c] |
| USER_DATA | 1 | args->total | 0-2097151[c] |
| NO_OVERFLOW_SIMPLE | 1 | args->agbno |
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_btalloc_filestreams() -> xfs_bmap_btalloc_low_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ap | 7078978139519856640,7228274775691866112 |
| PARAM_VALUE | 0 | ap->flags | 0,2-u32max |
| PARAM_VALUE | 0 | ap->got.br_state | 0-1 |
| PARAM_VALUE | 0 | ap->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->ip->i_mount->m_errortag | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->logflags | 0-s32max |
| PARAM_VALUE | 0 | ap->tp | 4096-ptr_max |
| PARAM_VALUE | 1 | args | 6378406742512791552 |
| PARAM_VALUE | 1 | args->agbp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_bno_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_bno_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_cnt_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_cnt_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_freeblks | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_refcount_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_refcount_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_rmap_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agf_rmap_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agi_free_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agi_free_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agi_level | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_addr->agi_root | 0-4294967295 |
| PARAM_VALUE | 1 | args->agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 1 | args->alignment | 1-u32max |
| PARAM_VALUE | 1 | args->alloc_minlen_only | 0 |
| PARAM_VALUE | 1 | args->fsbno | u64max |
| PARAM_VALUE | 1 | args->min_agbno | 0 |
| PARAM_VALUE | 1 | args->minalignslop | 0 |
| PARAM_VALUE | 1 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 1 | args->mp->m_filestream | 4096-ptr_max |
| PARAM_VALUE | 1 | args->mp->m_filestream->lists | 0-s64max |
| PARAM_VALUE | 1 | args->mp->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 1 | args->mp->m_filestream->queued | 0-4294967295 |
| PARAM_VALUE | 1 | args->oinfo.oi_flags | 0 |
| PARAM_VALUE | 1 | args->oinfo.oi_offset | 0 |
| PARAM_VALUE | 1 | args->oinfo.oi_owner | 0 |
| PARAM_VALUE | 1 | args->pag | 0 |
| PARAM_VALUE | 1 | args->resv | 0 |
| PARAM_VALUE | 1 | args->tp | 4096-ptr_max |
| PARAM_VALUE | 1 | args->tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | args->tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | args->wasdel | 0-1 |
| PARAM_VALUE | 1 | args->wasfromfl | 0-1 |
| CAPPED_DATA | 1 | args->tp | 1 |
| DATA_SOURCE | 0 | ap | $0 |
| DATA_SOURCE | 1 | args | $1 |
| STR_LEN | 0 | ap->tp | (-1)-1024 |
| BIT_INFO | 0 | ap->datatype | 0x1,0xffffffffffffffff |
| BIT_INFO | 0 | ap->flags | 0x0,0x7fffffff |
| BIT_INFO | 0 | ap->tp->t_flags | 0x0,0xffffffff |
| NOSPEC | 0 | ap->minlen | |
| NOSPEC | 1 | args->maxlen | |
| NOSPEC | 1 | args->minlen | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ap->aeof | 0-1 |
| USER_DATA | 0 | ap->got.br_blockcount | 0-2097151[c] |
| USER_DATA | 0 | ap->got.br_startoff | 0-s32max[c] |
| USER_DATA | 0 | ap->length | 0-2097151[c] |
| USER_DATA | 0 | ap->minlen | 0-2097151[c] |
| USER_DATA | 0 | ap->offset | 0-2149580798[c] |
| USER_DATA | 0 | ap->prev.br_blockcount | 0-2097151[c] |
| USER_DATA | 0 | ap->prev.br_startoff | 0-s32max[c] |
| USER_DATA | 1 | args->maxlen | 0-2097151[c] |
| USER_DATA | 1 | args->minlen | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | args->agbno | |
| NO_OVERFLOW_SIMPLE | 1 | args->total |
fs/xfs/libxfs/xfs_bmap.c xfs_bmap_exact_minlen_extent_alloc() -> xfs_bmap_btalloc_low_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ap | 7078978139519856640,7228274775691866112 |
| PARAM_VALUE | 0 | ap->flags | 0,2-u32max |
| PARAM_VALUE | 0 | ap->got.br_state | 0-1 |
| PARAM_VALUE | 0 | ap->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->ip->i_mount->m_errortag | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->logflags | 0-s32max |
| PARAM_VALUE | 0 | ap->minlen | 1 |
| PARAM_VALUE | 1 | args | 6378406742512791552 |
| PARAM_VALUE | 1 | args->agbno | 0 |
| PARAM_VALUE | 1 | args->agbp | 0 |
| PARAM_VALUE | 1 | args->agno | 0 |
| PARAM_VALUE | 1 | args->alignment | 1-u32max |
| PARAM_VALUE | 1 | args->alloc_minlen_only | 1 |
| PARAM_VALUE | 1 | args->fsbno | u64max |
| PARAM_VALUE | 1 | args->len | 0 |
| PARAM_VALUE | 1 | args->max_agbno | 0 |
| PARAM_VALUE | 1 | args->maxlen | 1 |
| PARAM_VALUE | 1 | args->min_agbno | 0 |
| PARAM_VALUE | 1 | args->minalignslop | 0 |
| PARAM_VALUE | 1 | args->minlen | 1 |
| PARAM_VALUE | 1 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 1 | args->oinfo.oi_flags | 0 |
| PARAM_VALUE | 1 | args->oinfo.oi_offset | 0 |
| PARAM_VALUE | 1 | args->oinfo.oi_owner | 0 |
| PARAM_VALUE | 1 | args->pag | 0 |
| PARAM_VALUE | 1 | args->resv | 0 |
| PARAM_VALUE | 1 | args->wasdel | 0-1 |
| PARAM_VALUE | 1 | args->wasfromfl | 0 |
| DATA_SOURCE | 0 | ap | $0 |
| DATA_SOURCE | 1 | args | $1 |
| STR_LEN | 0 | ap->tp | (-1)-1024 |
| BIT_INFO | 0 | ap->flags | 0x0,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ap->aeof | 0-1 |
| USER_DATA | 0 | ap->got.br_blockcount | 0-2097151[c] |
| USER_DATA | 0 | ap->got.br_startoff | 0-s32max[c] |
| USER_DATA | 0 | ap->length | 0-2097151[c] |
| USER_DATA | 0 | ap->offset | 0-2149580798[c] |
| USER_DATA | 0 | ap->prev.br_blockcount | 0-2097151[c] |
| USER_DATA | 0 | ap->prev.br_startoff | 0-s32max[c] |