Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/scrub/inode.c xchk_setup_inode() -> xchk_install_handle_iscrub()
| 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->flusher_overflow.prev->next | 2906673126597898240 |
| 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 | 0 |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| BUF_SIZE | 0 | sc | 240 |
| CAPPED_DATA | 0 | sc->sm->sm_ino | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 0 | sc->sm->sm_ino | |
| 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_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/inode.c xchk_setup_inode() -> xchk_install_handle_iscrub()
| 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->flusher_overflow.prev->next | 2906673126597898240 |
| 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->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 | 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 | 0 |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| BUF_SIZE | 0 | sc | 240 |
| CAPPED_DATA | 0 | sc->sm->sm_ino | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 0 | sc->sm->sm_ino | |
| 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_PTR | 0 | sc->sm->sm_reserved |