Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_size() -> xfs_alloc_compute_aligned()

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-1
PARAM_VALUE 2 foundlen 1-u32max
PARAM_VALUE 3 resbno 914829769587937280
PARAM_VALUE 4 reslen 3659261984107294720
PARAM_VALUE 5 busy_gen 5125161582153519104
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
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
NO_OVERFLOW_SIMPLE 3 *resbno
UNITS 1 foundbno unit_array_size
UNITS 2 foundlen unit_array_size

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_size() -> xfs_alloc_compute_aligned()

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-1
PARAM_VALUE 3 resbno 914829769587937280
PARAM_VALUE 4 reslen 3659261984107294720
PARAM_VALUE 5 busy_gen 5125161582153519104
CAPPED_DATA 0 args->agbno 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
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
NO_OVERFLOW_SIMPLE 3 *resbno
UNITS 1 foundbno unit_array_size
UNITS 2 foundlen unit_array_size

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_size() -> xfs_alloc_compute_aligned()

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->maxlen 1-u32max
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-1
PARAM_VALUE 2 foundlen 1-u32max
PARAM_VALUE 3 resbno 914829769587937280
PARAM_VALUE 4 reslen 3659261984107294720
PARAM_VALUE 5 busy_gen 5125161582153519104
CAPPED_DATA 0 args->min_agbno 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
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
NO_OVERFLOW_SIMPLE 3 *resbno
UNITS 1 foundbno unit_array_size
UNITS 2 foundlen unit_array_size

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_cur_check() -> xfs_alloc_compute_aligned()

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
PARAM_VALUE 3 resbno 607483751028367360
PARAM_VALUE 4 reslen 1213274589957750784
PARAM_VALUE 5 busy_gen 1172934063964786688
PARAM_VALUE 5 *busy_gen 0
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->minlen <= $2
PARAM_COMPARE 2 foundlen >= $0->minlen
NOSPEC 0 args->total
RX_PATH
TASK_NOT_RUNNING
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
UNITS 2 foundlen unit_array_size