xchk_ilock identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

fs/xfs/scrub/common.h, line 181 (as a prototype)

Defined in 1 files as a function:

fs/xfs/scrub/common.c, line 1312 (as a function)

Referenced in 15 files:

Smatch caller information:

fs/xfs/scrub/attr_repair.c xrep_xattr_flush_stashed() -> xchk_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->mp	4096-ptr_max
PARAM_VALUE	0	sc->sm	4096-ptr_max
PARAM_VALUE	0	sc->temp_ilock_flags	0,2-u32max
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
PARAM_VALUE	0	sc->tp->t_flags	0,4,16,20,32,36,64,68,80,84
PARAM_VALUE	0	sc->tp->t_highest_agno	u32max
PARAM_VALUE	0	sc->tp->t_mountp	4096-ptr_max
PARAM_VALUE	0	sc->tp->t_pflags	0,262144
PARAM_VALUE	1	ilock_flags	4
CAPPED_DATA	0	sc->ip	1
NOCHECK_CALL

fs/xfs/scrub/bmap.c xchk_setup_inode_bmap() -> xchk_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->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	1	ilock_flags	1
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
NOCHECK_CALL
USER_DATA	0	sc->ip->i_imap.im_agbno	0-s32max[c]
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/bmap.c xchk_setup_inode_bmap() -> xchk_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->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-12,14-32
PARAM_VALUE	1	ilock_flags	16
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
NOCHECK_CALL
USER_DATA	0	sc->ip->i_imap.im_agbno	0-s32max[c]
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-12,14-32
USER_PTR	0	sc->sm->sm_reserved

fs/xfs/scrub/bmap.c xchk_setup_inode_bmap() -> xchk_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->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->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->tp	4096-ptr_max
PARAM_VALUE	1	ilock_flags	4
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
NOCHECK_CALL
USER_DATA	0	sc->ip->i_imap.im_agbno	0-s32max[c]
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/inode.c xchk_prepare_iscrub() -> xchk_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_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_type	0-32
PARAM_VALUE	1	ilock_flags	1
BUF_SIZE	0	sc	(-1),240
BUF_SIZE	0	sc	(-1),240
CAPPED_DATA	0	sc->sm->sm_ino	1
DATA_SOURCE	0	sc	$0
CAPABLE	0	21
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/inode.c xchk_prepare_iscrub() -> xchk_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->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_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_type	0-32
PARAM_VALUE	0	sc->tp	4096-ptr_max
PARAM_VALUE	1	ilock_flags	4
BUF_SIZE	0	sc	(-1),240
BUF_SIZE	0	sc	(-1),240
CAPPED_DATA	0	sc->sm->sm_ino	1
DATA_SOURCE	0	sc	$0
CAPABLE	0	21
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/nlinks_repair.c xrep_nlinks_repair_inode() -> xchk_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->orphanage->i_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sc->orphanage->i_lock.first_waiter->type	0-1
PARAM_VALUE	1	ilock_flags	1
CAPPED_DATA	0	sc->orphanage	1
NOCHECK_CALL

fs/xfs/scrub/nlinks_repair.c xrep_nlinks_repair_inode() -> xchk_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_inodegc_wq->first_flusher->done.wait.lock.dep_map->name	0-255
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_super	4096-ptr_max
PARAM_VALUE	0	sc->orphanage->i_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sc->orphanage->i_lock.first_waiter->type	0-1
PARAM_VALUE	0	sc->tp	4096-ptr_max
PARAM_VALUE	0	sc->tp->t_flags	0,4,16,20,32,36,64,68,80,84
PARAM_VALUE	0	sc->tp->t_highest_agno	4294967295
PARAM_VALUE	0	sc->tp->t_mountp	s64min-(-4096),4096-s64max
PARAM_VALUE	0	sc->tp->t_pflags	0,262144
PARAM_VALUE	1	ilock_flags	4
CAPPED_DATA	0	sc->orphanage	1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sc->tp->t_blk_res

fs/xfs/scrub/dirtree_repair.c xrep_dirtree_adopt_iolock() -> xchk_ilock()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->ip	4096-ptr_max
PARAM_VALUE	0	sc->orphanage	1-u64max
PARAM_VALUE	0	sc->relax.killable	1
PARAM_VALUE	0	sc->relax.resched_nr	0
PARAM_VALUE	0	sc->tp	0
PARAM_VALUE	1	ilock_flags	1
DATA_SOURCE	0	sc	$0
BIT_INFO	0	sc->ilock_flags	0x0,0xffffffff
NOCHECK_CALL

fs/xfs/scrub/dirtree_repair.c xrep_dirtree_delete_path() -> xchk_ilock()

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->mp->m_sb.sb_agcount	1-u32max
PARAM_VALUE	0	sc->tp	4096-ptr_max
PARAM_VALUE	1	ilock_flags	4
NOCHECK_CALL

fs/xfs/scrub/dirtree_repair.c xrep_dirtree_move_to_orphanage() -> xchk_ilock()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->ip	4096-ptr_max
PARAM_VALUE	0	sc->orphanage	1-u64max
PARAM_VALUE	0	sc->tp	4096-ptr_max
PARAM_VALUE	1	ilock_flags	4
NOCHECK_CALL

fs/xfs/scrub/dirtree_repair.c xrep_dirtree_unlink_iolock() -> xchk_ilock()

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.killable	1
PARAM_VALUE	0	sc->relax.resched_nr	0
PARAM_VALUE	0	sc->tp	0
PARAM_VALUE	1	ilock_flags	1
DATA_SOURCE	0	sc	$0
BIT_INFO	0	sc->ilock_flags	0x0,0xffffffff
NOCHECK_CALL

fs/xfs/scrub/quota_repair.c xrep_quota() -> xchk_ilock()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	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	1	ilock_flags	4
BUF_SIZE	0	sc	(-1),240
BUF_SIZE	0	sc	(-1),240
DATA_SOURCE	0	sc	$0
BIT_INFO	0	sc->ilock_flags	0x0,0xfffffffb
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/quota_repair.c xrep_quota_item() -> xchk_ilock()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->relax.resched_nr	0-99
PARAM_VALUE	1	ilock_flags	4
NOCHECK_CALL
HALF_LOCKED2		&dq->q_qlock

fs/xfs/scrub/quota.c xchk_quota_item() -> xchk_ilock()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	0	sc->relax.resched_nr	0-99
PARAM_VALUE	1	ilock_flags	8
NOCHECK_CALL

fs/xfs/scrub/quota.c xchk_setup_quota() -> xchk_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->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->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	21-23
PARAM_VALUE	0	sc->tp	4096-ptr_max
PARAM_VALUE	0	sc->tp->t_flags	0,4,16,20,32,36,64,68,80,84
PARAM_VALUE	0	sc->tp->t_highest_agno	u32max
PARAM_VALUE	0	sc->tp->t_pflags	0,262144
PARAM_VALUE	1	ilock_flags	4
BUF_SIZE	0	sc	240
DATA_SOURCE	0	sc	$0
CAPABLE	0	21
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	21-23
USER_PTR	0	sc->sm->sm_reserved

fs/xfs/scrub/dir_repair.c xrep_dir_flush_stashed() -> xchk_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.dep_map->name	0-255
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_dir_geo	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->relax.resched_nr	0-99
PARAM_VALUE	0	sc->sm	4096-ptr_max
PARAM_VALUE	0	sc->temp_ilock_flags	0,2-u32max
PARAM_VALUE	0	sc->tempip->i_flags_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sc->tempip->i_itemp->ili_dirty_flags	0-4294967295
PARAM_VALUE	0	sc->tempip->i_itemp->ili_item.li_ops->flags	0-2,5
PARAM_VALUE	0	sc->tempip->i_itemp->ili_item.li_ops->iop_committed	0,283025114569195520,5164564067102691328
PARAM_VALUE	0	sc->tempip->i_itemp->ili_item.li_ops->iop_committing	0,4828373187025854464,6929890327166103552,8391046949560442880
PARAM_VALUE	0	sc->tempip->i_itemp->ili_item.li_ops->iop_intent	0,564933579169271808,1432282536262184960,2001389918975270912,6466259957020385280,8569170642382753792,9140561983953010688
PARAM_VALUE	0	sc->tempip->i_itemp->ili_item.li_ops->iop_match	0,632712193071185920,2903961003257139200,2990082737005334528,4656829959769772032,8815353037356904448,8840775383261859840
PARAM_VALUE	0	sc->tempip->i_itemp->ili_item.li_ops->iop_pin	0,128515512824188928,1388028456347627520,2041315837493792768
PARAM_VALUE	0	sc->tempip->i_itemp->ili_item.li_ops->iop_precommit	0,1492769248575832064,4373168401562583040,7909231871947640832,8569134365498331136
PARAM_VALUE	0	sc->tempip->i_itemp->ili_item.li_ops->iop_push	0,925402561215127552,8226357149320933376,9036841439544610816
PARAM_VALUE	0	sc->tempip->i_itemp->ili_item.li_ops->iop_sort	0,4561676619972972544,7092074397265825792
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
PARAM_VALUE	0	sc->tp->t_flags	0,4,16,20,32,36,64,68,80,84
PARAM_VALUE	0	sc->tp->t_highest_agno	u32max
PARAM_VALUE	0	sc->tp->t_mountp	4096-ptr_max
PARAM_VALUE	0	sc->tp->t_pflags	0,262144
PARAM_VALUE	1	ilock_flags	4
NOCHECK_CALL

fs/xfs/scrub/dir_repair.c xrep_dir_salvage_entries() -> xchk_ilock()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	1	ilock_flags	4
NOCHECK_CALL

fs/xfs/scrub/common.c xchk_setup_inode_contents() -> xchk_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	0,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->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	1	ilock_flags	1
BUF_SIZE	0	sc	240
BUF_SIZE	0	sc->buf	(-1),1025
CAPPED_DATA	0	sc->sm->sm_ino	1
DATA_SOURCE	0	sc	$0
CAPABLE	0	21
NOSPEC	0	sc->sm->sm_ino
NOCHECK_CALL
USER_DATA	0	sc->ip->i_imap.im_agbno	0-s32max[c]
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/common.c xchk_setup_inode_contents() -> xchk_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->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_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	0,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->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	ilock_flags	4
BUF_SIZE	0	sc	240
BUF_SIZE	0	sc->buf	(-1),1025
CAPPED_DATA	0	sc->sm->sm_ino	1
DATA_SOURCE	0	sc	$0
CAPABLE	0	21
NOSPEC	0	sc->sm->sm_ino
NOCHECK_CALL
USER_DATA	0	sc->ip->i_imap.im_agbno	0-s32max[c]
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
NO_OVERFLOW_SIMPLE	0	sc->tp->t_blk_res
USER_PTR	0	sc->sm->sm_reserved

fs/xfs/scrub/inode_repair.c xrep_dinode_core() -> xchk_ilock()

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->mp->m_sb.sb_agcount	1-u32max
PARAM_VALUE	0	sc->sm	4096-ptr_max
PARAM_VALUE	0	sc->tp	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	1	ilock_flags	1
CAPPED_DATA	0	sc->tp	1
NOCHECK_CALL

fs/xfs/scrub/inode_repair.c xrep_dinode_core() -> xchk_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_gdquot	1-u64max
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->ip->i_mount->m_quotainfo->qi_tree_lock.dep_map->name	0-255
PARAM_VALUE	0	sc->ip->i_mount->m_quotainfo->qi_tree_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	sc->ip->i_mount->m_quotainfo->qi_tree_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	sc->ip->i_mount->m_quotainfo->qi_tree_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	sc->ip->i_udquot	1-u64max
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	0	sc->mp->m_quotainfo->qi_quotaofflock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp->m_quotainfo->qi_quotaofflock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	sc->mp->m_quotainfo->qi_quotaofflock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	sc->mp->m_quotainfo->qi_quotaofflock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	sc->mp->m_quotainfo->qi_quotaofflock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	sc->mp->m_quotainfo->qi_quotaofflock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	sc->mp->m_quotainfo->qi_quotaofflock.osq.tail.counter	0-s32max
PARAM_VALUE	0	sc->mp->m_sb.sb_agcount	1-u32max
PARAM_VALUE	0	sc->mp->m_sb_lock.rlock.dep_map->name	0-255
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	1	ilock_flags	4
NOCHECK_CALL

fs/xfs/scrub/parent.c xchk_parent_validate() -> xchk_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_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	1	ilock_flags	4
BUF_SIZE	0	sc	(-1),240
BUF_SIZE	0	sc	(-1),240
CAPPED_DATA	0	sc->ip	1
DATA_SOURCE	0	sc	$0
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/readdir.c xchk_dir_trylock_both() -> xchk_ilock()

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->ops	4096-ptr_max
PARAM_VALUE	0	sc->sm	4096-ptr_max
PARAM_VALUE	1	ilock_flags	4
DATA_SOURCE	0	sc	$0
NOCHECK_CALL

fs/xfs/scrub/dirtree.c xchk_dirpath_walk_upwards() -> xchk_ilock()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->ip	4096-ptr_max
PARAM_VALUE	1	ilock_flags	4
BIT_INFO	0	sc->ilock_flags	0x0,0xffffffff
NOCHECK_CALL

fs/xfs/scrub/dirtree.c xchk_dirpath_walk_upwards() -> xchk_ilock()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc	4096-ptr_max
PARAM_VALUE	0	sc->ip	4096-ptr_max
PARAM_VALUE	1	ilock_flags	4
BIT_INFO	0	sc->ilock_flags	0x0,0xffffffff
NOCHECK_CALL

fs/xfs/scrub/parent_repair.c xrep_parent_find_dotdot() -> xchk_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_flags_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	1	ilock_flags	4
CAPPED_DATA	0	sc->ip	1
NOCHECK_CALL

fs/xfs/scrub/parent_repair.c xrep_parent_flush_xattrs() -> xchk_ilock()

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->relax.resched_nr	0-99
PARAM_VALUE	0	sc->temp_ilock_flags	0,2-u32max
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
PARAM_VALUE	1	ilock_flags	4
NOCHECK_CALL

fs/xfs/scrub/parent_repair.c xrep_parent_scan_dirtree() -> xchk_ilock()

Type	Parameter	Key	Value
PARAM_VALUE	0	sc->mp	4096-ptr_max
PARAM_VALUE	0	sc->mp->m_dir_update_hooks.head.head	4096-ptr_max
PARAM_VALUE	0	sc->tp	4096-ptr_max
PARAM_VALUE	1	ilock_flags	4
NOCHECK_CALL