Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/scrub/metapath.c xchk_setup_metapath_dqinode() -> xchk_setup_metapath_scan()
| 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_quotainfo | 4096-ptr_max |
| 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_gen | 0 |
| PARAM_VALUE | 0 | sc->sm->sm_ino | 5-7 |
| PARAM_VALUE | 0 | sc->sm->sm_type | 0-32 |
| PARAM_VALUE | 2 | path | 0,4096-ptr_max |
| PARAM_VALUE | 3 | ip | 1-u64max |
| BUF_SIZE | 0 | sc | 240 |
| DATA_SOURCE | 0 | sc | $0 |
| CAPABLE | 0 | 21 | |
| HARD_MAX | 0 | sc->sm->sm_ino | 7 |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0 |
| USER_DATA | 0 | sc->sm->sm_ino | 5-7 |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/metapath.c xchk_setup_metapath_quotadir() -> xchk_setup_metapath_scan()
| 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_quotainfo | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp->m_quotainfo->qi_dirip | 1-u64max |
| 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_gen | 0 |
| PARAM_VALUE | 0 | sc->sm->sm_ino | 4 |
| PARAM_VALUE | 0 | sc->sm->sm_type | 0-32 |
| PARAM_VALUE | 2 | path | 0,4096-ptr_max |
| PARAM_VALUE | 3 | ip | 1-u64max |
| BUF_SIZE | 0 | sc | 240 |
| DATA_SOURCE | 0 | sc | $0 |
| CAPABLE | 0 | 21 | |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0 |
| USER_DATA | 0 | sc->sm->sm_ino | 4 |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/metapath.c xchk_setup_metapath_rtdir() -> xchk_setup_metapath_scan()
| 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_rtdirip | 1-u64max |
| 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_gen | 0 |
| PARAM_VALUE | 0 | sc->sm->sm_ino | 1 |
| PARAM_VALUE | 0 | sc->sm->sm_type | 0-32 |
| PARAM_VALUE | 2 | path | 0,4096-ptr_max |
| PARAM_VALUE | 3 | ip | 1-u64max |
| BUF_SIZE | 0 | sc | 240 |
| DATA_SOURCE | 0 | sc | $0 |
| CAPABLE | 0 | 21 | |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0 |
| USER_DATA | 0 | sc->sm->sm_ino | 1 |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/metapath.c xchk_setup_metapath_rtginode() -> xchk_setup_metapath_scan()
| 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->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_gen | 0 |
| PARAM_VALUE | 0 | sc->sm->sm_ino | 2-3,8-9 |
| PARAM_VALUE | 0 | sc->sm->sm_type | 0-32 |
| PARAM_VALUE | 3 | ip | 1-u64max |
| BUF_SIZE | 0 | sc | 240 |
| BUF_SIZE | 2 | path | (-1)-s32max |
| DATA_SOURCE | 0 | sc | $0 |
| CAPABLE | 0 | 21 | |
| HARD_MAX | 0 | sc->sm->sm_ino | 9 |
| USER_DATA | 0 | sc->sm->sm_agno | 0-u32max |
| USER_DATA | 0 | sc->sm->sm_gen | 0 |
| USER_DATA | 0 | sc->sm->sm_ino | 2-3,8-9 |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| USER_PTR | 0 | sc->sm->sm_reserved |