Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_fix_freelist() -> xfs_alloc_space_available()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->agbp 0,4096-ptr_max
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->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 1 min_free 0-1530
PARAM_VALUE 2 flags 16-18,20
DATA_SOURCE 0 args $0
DATA_SOURCE 1 min_free r xfs_alloc_min_freelist
STR_LEN 0 args->tp (-1)-1024
BIT_INFO 2 flags 0x10,0x17
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
NO_OVERFLOW_SIMPLE 0 args->agbp->b_map_count
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_fix_freelist() -> xfs_alloc_space_available()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->agbp 0,4096-ptr_max
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->pag->pag_group.xg_mount 4096-ptr_max
PARAM_VALUE 0 args->pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 args->resv 0-3,5
PARAM_VALUE 0 args->tp 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->wasdel 0-2
PARAM_VALUE 0 args->wasfromfl 0-1
PARAM_VALUE 1 min_free 0-1530
PARAM_VALUE 2 flags 0-2,4
DATA_SOURCE 0 args $0
DATA_SOURCE 1 min_free r xfs_alloc_min_freelist
DATA_SOURCE 2 flags $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
NO_OVERFLOW_SIMPLE 0 args->agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 args->tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 args->tp->t_rtx_res_used