Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/xfs_rtalloc.c xfs_rtalloc_sumlevel() -> xfs_rtallocate_extent_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 5223566199992381440 |
| PARAM_VALUE | 0 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->mp->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | args->mp->m_rsumblocks | 1-u64max |
| PARAM_VALUE | 0 | args->mp->m_sb.sb_rbmblocks | 1-u32max |
| PARAM_VALUE | 0 | args->rbmbp | 0 |
| PARAM_VALUE | 0 | args->rbmoff | 0,u64max |
| PARAM_VALUE | 0 | args->rtg | 4096-ptr_max |
| PARAM_VALUE | 0 | args->sumbp | 0 |
| PARAM_VALUE | 0 | args->sumoff | 0,u64max |
| PARAM_VALUE | 0 | args->tp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | bbno | 0-4294967294 |
| PARAM_VALUE | 4 | len | 4272681927299928064 |
| PARAM_VALUE | 5 | nextp | 8413967677715197952 |
| PARAM_VALUE | 7 | rtx | 2996683805917167616 |
| CAPPED_DATA | 0 | args->mp->m_rsumblocks | 1 |
| CAPPED_DATA | 0 | args->mp->m_rsumlevels | 1 |
| CAPPED_DATA | 0 | args->tp | 1 |
| CAPPED_DATA | 1 | bbno | 1 |
| CAPPED_DATA | 1 | bbno | 1 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 2 | minlen | $2 |
| DATA_SOURCE | 3 | maxlen | $3 |
| DATA_SOURCE | 4 | len | $5 |
| DATA_SOURCE | 6 | prod | $4 |
| DATA_SOURCE | 7 | rtx | $6 |
| PARAM_COMPARE | 0 | args->mp->m_sb.sb_rbmblocks | > $1 |
| PARAM_COMPARE | 1 | bbno | < $0->mp->m_sb.sb_rbmblocks |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/xfs/xfs_rtalloc.c xfs_rtallocate_extent_near() -> xfs_rtallocate_extent_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 5223566199992381440 |
| PARAM_VALUE | 0 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->rbmbp | 0 |
| PARAM_VALUE | 0 | args->rbmoff | 0 |
| PARAM_VALUE | 0 | args->rtg | 4096-ptr_max |
| PARAM_VALUE | 0 | args->sumbp | 0 |
| PARAM_VALUE | 0 | args->sumoff | 0 |
| PARAM_VALUE | 0 | args->tp | 4096-ptr_max |
| PARAM_VALUE | 4 | len | 4272681927299928064 |
| PARAM_VALUE | 4 | *len | 0 |
| PARAM_VALUE | 5 | nextp | 1482496805141467136 |
| PARAM_VALUE | 7 | rtx | 2996683805917167616 |
| CAPPED_DATA | 2 | minlen | 1 |
| CAPPED_DATA | 3 | maxlen | 1 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 2 | minlen | $2 |
| DATA_SOURCE | 4 | len | $4 |
| DATA_SOURCE | 6 | prod | $5 |
| DATA_SOURCE | 7 | rtx | $6 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/xfs/xfs_rtalloc.c xfs_rtallocate_extent_near() -> xfs_rtallocate_extent_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 5223566199992381440 |
| PARAM_VALUE | 0 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->rbmbp | 0 |
| PARAM_VALUE | 0 | args->rbmoff | 0 |
| PARAM_VALUE | 0 | args->rtg | 4096-ptr_max |
| PARAM_VALUE | 0 | args->sumbp | 0 |
| PARAM_VALUE | 0 | args->sumoff | 0 |
| PARAM_VALUE | 0 | args->tp | 4096-ptr_max |
| PARAM_VALUE | 4 | len | 4272681927299928064 |
| PARAM_VALUE | 4 | *len | 0 |
| PARAM_VALUE | 5 | nextp | 1482496805141467136 |
| PARAM_VALUE | 7 | rtx | 2996683805917167616 |
| CAPPED_DATA | 2 | minlen | 1 |
| CAPPED_DATA | 3 | maxlen | 1 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 2 | minlen | $2 |
| DATA_SOURCE | 4 | len | $4 |
| DATA_SOURCE | 6 | prod | $5 |
| DATA_SOURCE | 7 | rtx | $6 |
| RX_PATH | |||
| TASK_NOT_RUNNING |