Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> (struct xfs_btree_ops)->get_minrecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_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->get_maxrecs | 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->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 0-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur->bc_mem.xfbtree | (-1),56 |
| BUF_SIZE | 0 | cur->bc_tp | (-1),1-s32max |
| CAPPED_DATA | 1 | level | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 1 | level | $1 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| CONTAINER | 0 | -96-16+0 | $(-1) |
| NOSPEC | 0 | cur->bc_ino.ip->i_disk_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | cur->bc_ino.ip->i_disk_size | (-9223372036854775807)-s64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 1-22518000284336124[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_cache->object_size | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_delayed_blks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_nblocks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| 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 | 0 | cur->bc_tp->t_rtx_res_used |
fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> (struct xfs_btree_ops)->get_minrecs()
| 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->buf_ops->verify_struct | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | level | 0-s32max |
| CAPPED_DATA | 1 | level | 1 |
| DATA_SOURCE | 1 | level | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> (struct xfs_btree_ops)->get_minrecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_struct | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 0-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| CAPPED_DATA | 1 | level | 1 |
| DATA_SOURCE | 1 | level | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> (struct xfs_btree_ops)->get_minrecs()
| 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->buf_ops->verify_struct | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | level | 0-s32max |
| CAPPED_DATA | 1 | level | 1 |
| DATA_SOURCE | 1 | level | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/xfs/scrub/btree.c xchk_btree_check_minrecs() -> (struct xfs_btree_ops)->get_minrecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| DATA_SOURCE | 1 | level | $1 |
| CONTAINER | 0 | -96-16+0 | $(-1) |
fs/xfs/libxfs/xfs_btree_staging.c xfs_btree_bload_desired_npb() -> (struct xfs_btree_ops)->get_minrecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_maxlevels | 1-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| 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->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 0 |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 0-254 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_maxlevels | 1 |
| CAPPED_DATA | 1 | level | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 1 | level | $2 |
| CONTAINER | 0 | -96-16+0 | $(-1) |
| BIT_INFO | 0 | cur->bc_flags | 0x0,0xffffffff |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_delayed_blks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_nblocks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| 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_btree_staging.c xfs_btree_bload_ensure_slack() -> (struct xfs_btree_ops)->get_minrecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| 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->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 0 |
| PARAM_VALUE | 1 | level | 0-1 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 1 | level | $2 |
| CONTAINER | 0 | -96-16+0 | $(-1) |
| BIT_INFO | 0 | cur->bc_flags | 0x0,0xffffffff |
| HARD_MAX | 1 | level | 1 |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_delayed_blks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_nblocks | |
| 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 |