Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_locality() -> xfs_alloc_lookup_ge()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 3 | stat | 7757883537713770496 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | bno | |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_locality() -> xfs_alloc_lookup_ge()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | len | 0 |
| PARAM_VALUE | 3 | stat | 7757883537713770496 |
| PARAM_VALUE | 3 | *stat | 0-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | bno | |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_size() -> xfs_alloc_lookup_ge()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | bno | 0 |
| PARAM_VALUE | 3 | stat | 354493451786440704 |
| DATA_SOURCE | 0 | cur | r xfs_cntbt_init_cursor |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_cntbt_iter() -> xfs_alloc_lookup_ge()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 3 | stat | 1287238179731726336 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | bno | |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_cur_setup() -> xfs_alloc_lookup_ge()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 1 | bno | 0 |
| PARAM_VALUE | 3 | stat | 8165733788989972480 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| UNITS | 2 | len | unit_array_size |
fs/xfs/libxfs/xfs_alloc.c xfs_exact_minlen_extent_available() -> xfs_alloc_lookup_ge()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | bno | 0 |
| PARAM_VALUE | 3 | stat | 5209577612219027456 |
| DATA_SOURCE | 0 | cur | r xfs_cntbt_init_cursor |
| DATA_SOURCE | 3 | stat | $2 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | len | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| UNITS | 2 | len | unit_array_size |
fs/xfs/xfs_discard.c xfs_trim_gather_extents() -> xfs_alloc_lookup_ge()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 0 | cur->bc_rec.a.ar_blockcount | 0 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0 |
| PARAM_VALUE | 3 | stat | 6195380607800143872 |
| PARAM_VALUE | 3 | *stat | 0 |
| DATA_SOURCE | 0 | cur | r xfs_bnobt_init_cursor |
| CAPABLE | 0 | 21 | |
| NOSPEC | 0 | cur->bc_rec.a.ar_startblock | |
| NOSPEC | 1 | bno | |
| NOSPEC | 1 | bno | |
| USER_DATA | 0 | cur->bc_rec.a.ar_startblock | 0-4194304[c] |
| USER_DATA | 1 | bno | 0-4194304[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_discard.c xfs_trim_gather_extents() -> xfs_alloc_lookup_ge()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_group | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | bno | 0 |
| PARAM_VALUE | 3 | stat | 6195380607800143872 |
| DATA_SOURCE | 0 | cur | r xfs_cntbt_init_cursor |
| CAPABLE | 0 | 21 | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| UNITS | 2 | len | unit_array_size |