Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 10 files:
- fs/xfs/scrub/agheader_repair.c
- fs/xfs/scrub/common.h, line 213
- fs/xfs/scrub/dir.c
- fs/xfs/scrub/dir_repair.c, line 418
- fs/xfs/scrub/dirtree.c, line 374
- fs/xfs/scrub/dirtree_repair.c, line 536
- fs/xfs/scrub/findparent.c, line 395
- fs/xfs/scrub/inode_repair.c, line 1604
- fs/xfs/scrub/metapath.c, line 546
- fs/xfs/scrub/parent.c
Smatch caller information:
fs/xfs/scrub/agheader_repair.c xrep_iunlink_mark_ondisk_rec() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 2 | ipp | 8189576949390827520 |
| PARAM_VALUE | 2 | *ipp | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/xfs/scrub/agheader_repair.c xrep_iunlink_relink_next() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->buf | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agi_bp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | ipp | 8453946647371563008 |
| PARAM_VALUE | 2 | *ipp | 0 |
fs/xfs/scrub/agheader_repair.c xrep_iunlink_relink_prev() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->buf | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agi_bp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | ipp | 8917903902867828736 |
| PARAM_VALUE | 2 | *ipp | 0 |
fs/xfs/scrub/agheader_repair.c xrep_iunlink_reload_next() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->buf | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.pag | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | ipp | 7413417125649162240 |
| CAPPED_DATA | 0 | sc->tp | 1 |
fs/xfs/scrub/inode.c xchk_iget_safe() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->file->f_path.dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp->m_inodegc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | sc->mp->m_inodegc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | sc->mp->m_sb.sb_agcount | 1-u32max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sm | 3746040804808499200,5840378514548297728 |
| PARAM_VALUE | 0 | sc->sm->sm_ino | 1-u64max |
| PARAM_VALUE | 0 | sc->sm->sm_type | 0-32 |
| PARAM_VALUE | 0 | sc->tp | 4096-ptr_max |
| PARAM_VALUE | 1 | inum | 1-u64max |
| PARAM_VALUE | 2 | ipp | 1304856106636234752 |
| BUF_SIZE | 0 | sc | 240 |
| CAPPED_DATA | 0 | sc->sm->sm_ino | 1 |
| CAPPED_DATA | 1 | inum | 1 |
| CAPPED_DATA | 1 | inum | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | inum | $1 |
| DATA_SOURCE | 2 | ipp | $2 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 0 | sc->sm->sm_ino | |
| NOSPEC | 1 | inum | |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_ino | 1-u64max[c] |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| USER_DATA | 1 | inum | 1-u64max[c] |
| UNITS | 1 | inum | unit_byte |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/dirtree_repair.c xrep_dirtree_delete_path() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 2 | ipp | 3063676876137406464 |
| LOCK2 | &dl->lock | ||
| TYPE_LOCK | (struct xchk_dirtree)->lock |
fs/xfs/scrub/dir_repair.c xrep_dir_salvage_entry() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->relax.resched_nr | 0-99 |
| PARAM_VALUE | 2 | ipp | 7871068190851350528 |
| CAPPED_DATA | 1 | inum | 1 |
| CAPPED_DATA | 1 | inum | 1 |
| DATA_SOURCE | 1 | inum | $3 |
| UNITS | 1 | inum | unit_byte |
fs/xfs/scrub/common.c xchk_iget_safe() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->file->f_path.dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp->m_rootip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->mp->m_rootip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->mp->m_sb.sb_agcount | 1-u32max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sm | 3746040804808499200,5840378514548297728 |
| PARAM_VALUE | 0 | sc->sm->sm_ino | 1-u64max |
| PARAM_VALUE | 0 | sc->sm->sm_type | 0-32 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_mapping->a_ops->free_folio | 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_mapping->a_ops->launder_folio | 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_op->get_acl | 0,434817594022129664,1176132492164517888,2308293591809245184,2352177825799393280,5894181231315005440,7161457072544161792,8358186677320523776 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | sc->tempip->i_vnode.i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | sc->tp | 4096-ptr_max |
| PARAM_VALUE | 1 | inum | 1-u64max |
| PARAM_VALUE | 2 | ipp | 801859705866088448 |
| PARAM_VALUE | 2 | *ipp | 0 |
| BUF_SIZE | 0 | sc->buf | (-1),1025 |
| CAPPED_DATA | 0 | sc->sm->sm_ino | 1 |
| CAPPED_DATA | 1 | inum | 1 |
| CAPPED_DATA | 1 | inum | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | inum | $1 |
| DATA_SOURCE | 2 | ipp | $2 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 0 | sc->sm->sm_ino | |
| NOSPEC | 1 | inum | |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_ino | 1-u64max[c] |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| USER_DATA | 1 | inum | 1-u64max[c] |
| UNITS | 1 | inum | unit_byte |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/inode_repair.c xrep_dinode_core() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | ipp | 4096-ptr_max |
| CAPPED_DATA | 0 | sc->tp | 1 |
| UNITS | 1 | inum | unit_byte |
fs/xfs/scrub/parent.c xchk_parent_iget() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp->m_sb.sb_agcount | 1-u32max |
| PARAM_VALUE | 2 | ipp | 2323850937588850688 |
| CAPPED_DATA | 1 | inum | 1 |
| CAPPED_DATA | 1 | inum | 1 |
| PARAM_COMPARE | 1 | inum | != $0->mp->m_sb.sb_rbmino |
| PARAM_COMPARE | 1 | inum | != $0->mp->m_sb.sb_rbmino |
| PARAM_COMPARE | 1 | inum | != $0->mp->m_sb.sb_rsumino |
| PARAM_COMPARE | 1 | inum | != $0->mp->m_sb.sb_rsumino |
fs/xfs/scrub/parent.c xchk_parent_validate() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp->m_sb.sb_agcount | 1-u32max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| PARAM_VALUE | 0 | sc->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 2 | ipp | 6794044047758880768 |
| PARAM_VALUE | 2 | *ipp | 0 |
| BUF_SIZE | 0 | sc | (-1),240 |
| BUF_SIZE | 0 | sc | (-1),240 |
| CAPPED_DATA | 0 | sc->ip | 1 |
| CAPPED_DATA | 1 | inum | 1 |
| CAPPED_DATA | 1 | inum | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | inum | $1 |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_ino | 0-u64max |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| UNITS | 1 | inum | unit_byte |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/findparent.c xrep_findparent_confirm() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp->m_sb.sb_agcount | 1-u32max |
| PARAM_VALUE | 1 | inum | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ipp | 2777007999170519040 |
| PARAM_VALUE | 2 | *ipp | 0 |
| CAPPED_DATA | 0 | sc->mp->m_sb.sb_agcount | 1 |
| CAPPED_DATA | 1 | inum | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| PARAM_COMPARE | 0 | sc->ip | != $0->mp->m_metadirip |
| PARAM_COMPARE | 0 | sc->ip | != $0->mp->m_rootip |
| PARAM_COMPARE | 1 | inum | != $0->mp->m_sb.sb_rbmino |
| PARAM_COMPARE | 1 | inum | != $0->mp->m_sb.sb_rsumino |
fs/xfs/scrub/metapath.c xrep_metapath_try_unlink() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tp | 4096-ptr_max |
| PARAM_VALUE | 2 | ipp | 2089067822008152064 |
| PARAM_VALUE | 2 | *ipp | 0 |
fs/xfs/scrub/dir.c xchk_dir_actor() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->ip->i_mount->m_filestream->grp_time | 0-4294967295 |
| PARAM_VALUE | 0 | sc->mp->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 0 | sc->mp->m_inodegc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | sc->mp->m_inodegc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | sc->ops->repair_eval | 0,2592533893225459712,5830863107202789376 |
| PARAM_VALUE | 0 | sc->relax.resched_nr | 0-99 |
| PARAM_VALUE | 0 | sc->sa.agf_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->sa.agi_bp->b_sema.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | sc->tempip->i_itemp->ili_lock_flags | 0-u16max |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | ipp | 4550907837216182272 |
| CAPPED_DATA | 1 | inum | 1 |
| CAPPED_DATA | 1 | inum | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| DATA_SOURCE | 1 | inum | $4 |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_ino | 0-u64max |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| UNITS | 1 | inum | unit_byte |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/dir.c xchk_dir_slow_dirent() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->sm | 4096-ptr_max |
| PARAM_VALUE | 2 | ipp | 5419796118804725760 |
fs/xfs/scrub/dirtree.c xchk_dirpath_step_up() -> xchk_iget()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 4096-ptr_max |
| PARAM_VALUE | 2 | ipp | 1184316920932249600 |