Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- fs/xfs/libxfs/xfs_alloc.c
- fs/xfs/scrub/agheader.c, line 482
- fs/xfs/scrub/alloc.c, line 75
- fs/xfs/xfs_discard.c
Smatch caller information:
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_exact() -> xfs_alloc_lookup_le()
| 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 | 2865506413869281280 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 3 | stat | 2746416466209656832 |
| CAPPED_DATA | 1 | bno | 1 |
| DATA_SOURCE | 0 | cur | r xfs_bnobt_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 | |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| HALF_LOCKED2 | &mp->m_growlock |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_locality() -> xfs_alloc_lookup_le()
| 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_free_ag_extent() -> xfs_alloc_lookup_le()
| 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 | 2865506413869281280 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 3 | stat | 649613060748877824 |
| CAPPED_DATA | 1 | bno | 1 |
| DATA_SOURCE | 0 | cur | r xfs_bnobt_init_cursor |
| DATA_SOURCE | 1 | bno | $2 |
| DATA_SOURCE | 2 | len | $3 |
| 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 | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/alloc.c xchk_allocbt_xref_other() -> xfs_alloc_lookup_le()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 1-u64max |
| PARAM_VALUE | 3 | stat | 4814314431550595072 |
| DATA_SOURCE | 1 | bno | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NO_OVERFLOW_SIMPLE | 1 | bno | |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/xfs_discard.c xfs_trim_gather_extents() -> xfs_alloc_lookup_le()
| 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 | 2865506413869281280 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0 |
| PARAM_VALUE | 3 | stat | 6195380607800143872 |
| DATA_SOURCE | 0 | cur | r xfs_bnobt_init_cursor |
| CAPABLE | 0 | 21 | |
| NOSPEC | 1 | bno | |
| NOSPEC | 1 | bno | |
| 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_le()
| 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 | 1-u32max |
| PARAM_VALUE | 3 | stat | 6195380607800143872 |
| DATA_SOURCE | 0 | cur | r xfs_cntbt_init_cursor |
| CAPABLE | 0 | 21 | |
| NOSPEC | 1 | bno | |
| NOSPEC | 1 | bno | |
| USER_DATA | 1 | bno | 1-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 |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/agheader.c xchk_agf_xref_cntbt() -> xfs_alloc_lookup_le()
| 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_group->xg_state_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 7045033551692476416 |
| PARAM_VALUE | 0 | cur->bc_tp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bno | 0 |
| PARAM_VALUE | 2 | len | u32max |
| PARAM_VALUE | 3 | stat | 9105853284111384576 |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res |