Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_alloc_block()
| 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_ops | 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 | hint_block | 5707590227122434048 |
| PARAM_VALUE | 2 | new_block | 8335801975059021824 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 3 | stat | $5 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| 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 |
fs/xfs/libxfs/xfs_btree.c xfs_btree_new_iroot() -> xfs_btree_alloc_block()
| 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_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->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 1 |
| PARAM_VALUE | 1 | hint_block | 7326659784026025984 |
| PARAM_VALUE | 2 | new_block | 2726918211973656576 |
| PARAM_VALUE | 3 | stat | 1728640560463163392,2336538221875077120 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 3 | stat | $2 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| 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_blockcount | |
| 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_new_root() -> xfs_btree_alloc_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 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->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0,2 |
| PARAM_VALUE | 1 | hint_block | 3775770356554145792 |
| PARAM_VALUE | 1 | hint_block->l | 0 |
| PARAM_VALUE | 2 | new_block | 8137524979197997056 |
| PARAM_VALUE | 3 | stat | 1728640560463163392 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_nlevels | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 3 | stat | $1 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| 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 |