Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/scrub/repair.c xrep_fix_freelist() -> xfs_alloc_fix_freelist()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 4907202384941703168 |
| PARAM_VALUE | 0 | args->agbno | 0 |
| PARAM_VALUE | 0 | args->agbp | 0 |
| PARAM_VALUE | 0 | args->alignment | 1 |
| PARAM_VALUE | 0 | args->alloc_minlen_only | 0 |
| PARAM_VALUE | 0 | args->datatype | 0 |
| PARAM_VALUE | 0 | args->fsbno | 0 |
| PARAM_VALUE | 0 | args->len | 0 |
| PARAM_VALUE | 0 | args->maxlen | 0 |
| PARAM_VALUE | 0 | args->minalignslop | 0 |
| PARAM_VALUE | 0 | args->minleft | 0 |
| PARAM_VALUE | 0 | args->minlen | 0 |
| PARAM_VALUE | 0 | args->mod | 0 |
| PARAM_VALUE | 0 | args->pag | 4096-ptr_max |
| PARAM_VALUE | 0 | args->prod | 0 |
| PARAM_VALUE | 0 | args->resv | 0 |
| PARAM_VALUE | 0 | args->total | 0 |
| PARAM_VALUE | 0 | args->wasdel | 0 |
| PARAM_VALUE | 1 | alloc_flags | 0,4 |
| DATA_SOURCE | 1 | alloc_flags | $1 |
fs/xfs/libxfs/xfs_alloc.c xfs_alloc_vextent_prepare_ag() -> xfs_alloc_fix_freelist()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 4096-ptr_max |
| PARAM_VALUE | 0 | args->agbp | 0 |
| PARAM_VALUE | 0 | args->alignment | 1-u32max |
| PARAM_VALUE | 0 | args->fsbno | u64max |
| PARAM_VALUE | 0 | args->mod | 0-4294967294 |
| PARAM_VALUE | 0 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->mp->m_sb.sb_agblocks | 1-u32max |
| PARAM_VALUE | 0 | args->mp->m_sb.sb_agcount | 1-u32max |
| PARAM_VALUE | 0 | args->pag | 4096-ptr_max |
| PARAM_VALUE | 0 | args->prod | 1-u32max |
| PARAM_VALUE | 0 | args->resv | 0-3,5 |
| PARAM_VALUE | 0 | args->tp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->wasdel | 0-2 |
| PARAM_VALUE | 0 | args->wasfromfl | 0-1 |
| PARAM_VALUE | 1 | alloc_flags | 0-1 |
| CAPPED_DATA | 0 | args->agbno | 1 |
| CAPPED_DATA | 0 | args->mod | 1 |
| CAPPED_DATA | 0 | args->mp->m_sb.sb_agcount | 1 |
| CAPPED_DATA | 0 | args->prod | 1 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 1 | alloc_flags | $1 |
| STR_LEN | 0 | args->tp | (-1)-1024 |
| NOSPEC | 0 | args->maxlen | |
| NOSPEC | 0 | args->minlen | |
| NOSPEC | 0 | args->total | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | args->maxlen | 0-2097151[c] |
| USER_DATA | 0 | args->minlen | 0-u32max[c] |
| USER_DATA | 0 | args->total | 0-2097151[c] |
| NO_OVERFLOW_SIMPLE | 0 | args->agbno | |
| NO_OVERFLOW_SIMPLE | 0 | args->tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | args->tp->t_rtx_res_used |
fs/xfs/libxfs/xfs_alloc.c xfs_free_extent_fix_freelist() -> xfs_alloc_fix_freelist()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 5392885245884510208 |
| PARAM_VALUE | 0 | args->agno | 0-4294967294 |
| PARAM_VALUE | 0 | args->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pag | 4096-ptr_max |
| PARAM_VALUE | 0 | args->tp | 4096-ptr_max |
| PARAM_VALUE | 1 | alloc_flags | 2 |
| MEM_ZERO | 0 | args | |
| RX_PATH | |||
| TASK_NOT_RUNNING |