Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/xfs/scrub/dir_repair.c xrep_dir_replay_update() -> xrep_tempfile_ilock()
| 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_dir_geo | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->mp->m_filestream->grp_time | 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->sm | 4096-ptr_max |
| 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 | 0 | sc->tp | 4096-ptr_max |
| NOCHECK_CALL |
fs/xfs/scrub/tempfile.c xrep_tempfile_adjust_directory_tree() -> xrep_tempfile_ilock()
| 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->ip | 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->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_type | 0-32 |
| PARAM_VALUE | 0 | sc->tempip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| 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 |
| BUF_SIZE | 0 | sc->buf | (-1),1025 |
| CAPPED_DATA | 0 | sc->sm->sm_ino | 1 |
| DATA_SOURCE | 0 | sc | $0 |
| CAPABLE | 0 | 21 | |
| BIT_INFO | 0 | sc->temp_ilock_flags | 0x1,0xffffffff |
| NOSPEC | 0 | sc->sm->sm_ino | |
| NOCHECK_CALL | |||
| 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[c] |
| USER_DATA | 0 | sc->sm->sm_type | 0-32 |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/tempfile.c xrep_tempfile_remove_metadir() -> xrep_tempfile_ilock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->buf | 0 |
| PARAM_VALUE | 0 | sc->file | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->file->f_path.dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip | 0 |
| PARAM_VALUE | 0 | sc->mp | 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.bno_cur | 0 |
| PARAM_VALUE | 0 | sc->sa.cnt_cur | 0 |
| PARAM_VALUE | 0 | sc->sa.fino_cur | 0 |
| PARAM_VALUE | 0 | sc->sa.ino_cur | 0 |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount->m_ag_max_usable | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount->m_ddev_targp->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.pag->pag_group.xg_mount->m_finobt_nores | 1 |
| PARAM_VALUE | 0 | sc->sa.pag->pagf_bno_level | 0-255 |
| PARAM_VALUE | 0 | sc->sa.pag->pagf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.pag->pagf_cnt_level | 0-255 |
| PARAM_VALUE | 0 | sc->sa.pag->pagf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.pag->pagf_freeblks | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.pag->pagf_longest | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.pag->pagf_refcount_level | 0-255 |
| PARAM_VALUE | 0 | sc->sa.pag->pagf_rmap_level | 0-255 |
| PARAM_VALUE | 0 | sc->sa.pag->pagi_count | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.pag->pagi_freecount | 0-4294967295 |
| PARAM_VALUE | 0 | sc->sa.refc_cur | 0 |
| PARAM_VALUE | 0 | sc->sa.rmap_cur | 0 |
| PARAM_VALUE | 0 | sc->sm | 3746040804808499200,5840378514548297728 |
| PARAM_VALUE | 0 | sc->sm->sm_type | 0-32 |
| PARAM_VALUE | 0 | sc->sr.refc_cur | 0 |
| PARAM_VALUE | 0 | sc->sr.rmap_cur | 0 |
| PARAM_VALUE | 0 | sc->sr.rtg | 0 |
| PARAM_VALUE | 0 | sc->temp_ilock_flags | 1 |
| PARAM_VALUE | 0 | sc->tempip | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->tempip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | sc->tempip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sc->tp | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->xfile | 0 |
| PARAM_VALUE | 0 | sc->xmbtp | 0 |
| DATA_SOURCE | 0 | sc | $0 |
| CAPABLE | 0 | 21 | |
| BIT_INFO | 0 | sc->flags | 0x0,0xfffffffd |
| NOCHECK_CALL | |||
| 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 |
| USER_PTR | 0 | sc->sm->sm_reserved |
fs/xfs/scrub/symlink_repair.c xrep_symlink_rebuild() -> xrep_tempfile_ilock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sc | 4096-ptr_max |
| PARAM_VALUE | 0 | sc->ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sc->ip->i_mount->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 0 | sc->ip->i_mount->m_healthmon->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sc->mp | 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 | 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 |
| DATA_SOURCE | 0 | sc | $0 |
| BIT_INFO | 0 | sc->ilock_flags | 0x0,0xffffffff |
| NOCHECK_CALL | |||
| 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 |
| USER_PTR | 0 | sc->sm->sm_reserved |