Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- fs/xfs/libxfs/xfs_alloc.c, line 4099
- fs/xfs/libxfs/xfs_btree.c, line 5470
- fs/xfs/libxfs/xfs_refcount.c
- fs/xfs/libxfs/xfs_rmap.c, line 2581
Smatch caller information:
fs/xfs/libxfs/xfs_btree.c xfs_btree_has_records() -> xfs_btree_query_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->alloc_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->broot_realloc | 0,205008320403959808,1877799289265856512,4624930743969431552 |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_key_with_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_two_keys | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->dup_cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->free_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->geom_flags | 0-3 |
| PARAM_VALUE | 0 | cur->bc_ops->get_dmaxrecs | 0,3492848713905295360,3901288766128197632,8955386628324601856 |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_minrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_rec_from_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->keys_contiguous | 2147832000335912960,2256864384924368896,2456666905110614016,2594185517608325120,4888085883423109120,5815663927035129856,8305366948058148864 |
| PARAM_VALUE | 0 | cur->bc_ops->keys_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->lru_refs | 1-3 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->rec_len | 8,12,16,24 |
| PARAM_VALUE | 0 | cur->bc_ops->recs_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->set_root | 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->statoff | 76,91,106,121,136,151,166,181,196,211,226,241 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_ops->update_cursor | 0,2872932845050183680 |
| PARAM_VALUE | 1 | low_rec | 1893813075565715456,4165435192135507968,6823890726701711360 |
| PARAM_VALUE | 2 | high_rec | 2255463939839725568,2342695840892616704,9139882111768596480 |
| PARAM_VALUE | 3 | fn | 6578370305537277952 |
| PARAM_VALUE | 4 | priv | 4168648841560760320 |
| BUF_SIZE | 4 | priv | 136 |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 1 | low_rec | $1 |
| DATA_SOURCE | 2 | high_rec | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 1 | low_rec->a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | low_rec->r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 1 | low_rec->rc.rc_startblock |
fs/xfs/libxfs/xfs_refcount.c xfs_refcount_query_range() -> xfs_btree_query_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| 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->cmp_two_keys | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_rec_from_cur | 4096-ptr_max |
| PARAM_VALUE | 1 | low_rec | 3663303603520307200 |
| PARAM_VALUE | 1 | low_rec->rc.rc_domain | 0-1 |
| PARAM_VALUE | 2 | high_rec | 7582723463767691264 |
| PARAM_VALUE | 2 | high_rec->rc.rc_domain | 0-1 |
| PARAM_VALUE | 3 | fn | 4561492916283265024 |
| PARAM_VALUE | 4 | priv | 1989483385739440128 |
| BUF_SIZE | 4 | priv | 16 |
| DATA_SOURCE | 0 | cur | $0 |
| 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_refcount.c xfs_refcount_recover_cow_leftovers() -> xfs_btree_query_range()
| 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 | 3386398652014444544,5177736840100265984 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_refc.nr_ops | 0 |
| PARAM_VALUE | 0 | cur->bc_refc.shape_changes | 0 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | low_rec | 1957462804304818176 |
| PARAM_VALUE | 1 | low_rec->rc.rc_domain | 1 |
| PARAM_VALUE | 2 | high_rec | 7329458001442729984 |
| PARAM_VALUE | 2 | high_rec->rc.rc_domain | 1 |
| PARAM_VALUE | 2 | high_rec->rc.rc_startblock | u32max |
| PARAM_VALUE | 3 | fn | 1014742732126511104 |
| PARAM_VALUE | 4 | priv | 7915861870203957248 |
| BUF_SIZE | 4 | priv | 16 |
| 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 | |
| HALF_LOCKED2 | &fc->uapi_mutex |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_query_range() -> xfs_btree_query_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur->bc_ops->alloc_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->broot_realloc | 0,205008320403959808,1877799289265856512,4624930743969431552 |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| 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->cmp_key_with_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_two_keys | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->dup_cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->free_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->geom_flags | 0-3 |
| PARAM_VALUE | 0 | cur->bc_ops->get_dmaxrecs | 0,3492848713905295360,3901288766128197632,8955386628324601856 |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_minrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_rec_from_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->keys_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->lru_refs | 1-3 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->rec_len | 8,12,16,24 |
| PARAM_VALUE | 0 | cur->bc_ops->recs_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->set_root | 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->statoff | 76,91,106,121,136,151,166,181,196,211,226,241 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_ops->update_cursor | 0,2872932845050183680 |
| PARAM_VALUE | 1 | low_rec | 2444557081489715200 |
| PARAM_VALUE | 1 | low_rec->r.rm_flags | 0-7 |
| PARAM_VALUE | 2 | high_rec | 3877672663774629888 |
| PARAM_VALUE | 3 | fn | 2925139851844042752 |
| PARAM_VALUE | 4 | priv | 6025448062307479552 |
| BUF_SIZE | 0 | cur | (-1),1-s32max |
| BUF_SIZE | 0 | cur | (-1),1-s32max |
| BUF_SIZE | 0 | cur->bc_mem.xfbtree | (-1),56 |
| BUF_SIZE | 0 | cur->bc_tp | (-1),1-s32max |
| BUF_SIZE | 4 | priv | 16 |
| DATA_SOURCE | 0 | cur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | low_rec->r.rm_startblock | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_offset | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | low_rec->r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 2 | high_rec->r.rm_offset | |
| HALF_LOCKED2 | global &dax_srcu |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_query_range() -> xfs_btree_query_range()
| 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_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | low_rec | 6808242400003493888 |
| PARAM_VALUE | 2 | high_rec | 1346613913219002368 |
| PARAM_VALUE | 3 | fn | 4730987038624108544 |
| PARAM_VALUE | 4 | priv | 2400744094166994944 |
| BUF_SIZE | 4 | priv | 16 |
| DATA_SOURCE | 0 | cur | $0 |