Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- fs/xfs/scrub/alloc.c, line 190
- fs/xfs/scrub/bmap_repair.c, line 223
- fs/xfs/scrub/ialloc_repair.c, line 382
- fs/xfs/scrub/refcount_repair.c, line 142
- fs/xfs/scrub/repair.c, line 1328
- fs/xfs/scrub/rmap_repair.c, line 197
Smatch caller information:
fs/xfs/scrub/repair.c xrep_check_ino_btree_mapping() -> xfs_alloc_has_records()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bno | 0-4294967294 |
| PARAM_VALUE | 2 | len | 1-u32max |
| PARAM_VALUE | 3 | outcome | 8295732656168558592 |
| CAPPED_DATA | 1 | bno | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | bno | |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/refcount_repair.c xrep_refc_check_ext() -> xfs_alloc_has_records()
| 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_group | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_filestream->grp_time | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 2865506413869281280 |
| PARAM_VALUE | 3 | outcome | 3121632780930392064 |
| NO_OVERFLOW_SIMPLE | 1 | bno | |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/rmap_repair.c xrep_rmap_check_mapping() -> xfs_alloc_has_records()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | outcome | 8341152242789978112 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | bno | |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/bmap_repair.c xrep_bmap_check_fork_rmap() -> xfs_alloc_has_records()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bno | 0-4294967294 |
| PARAM_VALUE | 2 | len | 1-u32max |
| PARAM_VALUE | 3 | outcome | 3153450351545376768 |
| CAPPED_DATA | 1 | bno | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | bno | |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/ialloc_repair.c xrep_ibt_check_inode_ext() -> xfs_alloc_has_records()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bno | 0-4294967294 |
| PARAM_VALUE | 2 | len | 1-u32max |
| PARAM_VALUE | 3 | outcome | 6965208547158212608 |
| CAPPED_DATA | 1 | bno | 1 |
| DATA_SOURCE | 1 | bno | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | bno | |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/scrub/alloc.c xchk_xref_is_used_space() -> xfs_alloc_has_records()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 1-u64max |
| 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_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 | 3 | outcome | 7881438133174013952 |
| DATA_SOURCE | 1 | bno | $1 |
| DATA_SOURCE | 2 | len | $2 |
| 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 | 1 | bno | |
| NO_OVERFLOW_SIMPLE | 2 | len | |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |