Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 7 files:
- fs/xfs/libxfs/xfs_defer.c, line 1107
- fs/xfs/scrub/orphanage.c, line 349
- fs/xfs/scrub/tempfile.c, line 376
- fs/xfs/xfs_bmap_util.c, line 1643
- fs/xfs/xfs_exchrange.c, line 35
- fs/xfs/xfs_reflink.c, line 1230
- fs/xfs/xfs_trans.c, line 1392
Smatch caller information:
fs/xfs/xfs_reflink.c xfs_reflink_set_inode_flag() -> xfs_lock_two_inodes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip0 | 4096-ptr_max |
| PARAM_VALUE | 0 | ip0->i_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ip0->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ip0->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ip0->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | ip0->i_mount->m_inodegc_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ip0->i_mount->m_inodegc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | ip0->i_mount->m_inodegc_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | ip0->i_mount->m_inodegc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | ip0->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 1 | ip0_mode | 4 |
| PARAM_VALUE | 2 | ip1 | 4096-ptr_max |
| PARAM_VALUE | 2 | ip1->i_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | ip1->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | ip1->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | ip1->i_mount | 4096-ptr_max |
| PARAM_VALUE | 3 | ip1_mode | 4 |
| CAPPED_DATA | 0 | ip0 | 1 |
| CAPPED_DATA | 2 | ip1 | 1 |
| DATA_SOURCE | 0 | ip0 | $0 |
| DATA_SOURCE | 2 | ip1 | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/xfs/xfs_exchrange.c xfs_exchrange_ilock() -> xfs_lock_two_inodes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip0->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ip0->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ip0_mode | 4 |
| PARAM_VALUE | 2 | ip1->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | ip1->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | ip1_mode | 4 |
| DATA_SOURCE | 0 | ip0 | $1 |
| DATA_SOURCE | 2 | ip1 | $2 |
| PARAM_COMPARE | 0 | ip0 | != $2 |
| PARAM_COMPARE | 0 | ip0 | != $2 |
| PARAM_COMPARE | 2 | ip1 | != $0 |
| NOCHECK_CALL |
fs/xfs/scrub/orphanage.c xrep_adoption_trans_alloc() -> xfs_lock_two_inodes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip0->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ip0->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ip0_mode | 4 |
| PARAM_VALUE | 2 | ip1 | 4096-ptr_max |
| PARAM_VALUE | 2 | ip1->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | ip1->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | ip1_mode | 4 |
| CAPPED_DATA | 2 | ip1 | 1 |
| NOCHECK_CALL |
fs/xfs/libxfs/xfs_defer.c xfs_defer_ops_continue() -> xfs_lock_two_inodes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | ip0_mode | 4 |
| PARAM_VALUE | 3 | ip1_mode | 4 |
| NOCHECK_CALL |
fs/xfs/xfs_trans.c xfs_trans_alloc_dir() -> xfs_lock_two_inodes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip0 | 4096-ptr_max |
| PARAM_VALUE | 0 | ip0->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ip0->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ip0_mode | 4 |
| PARAM_VALUE | 2 | ip1 | 4096-ptr_max |
| PARAM_VALUE | 2 | ip1->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | ip1->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | ip1->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 3 | ip1_mode | 4 |
| CAPPED_DATA | 0 | ip0 | 1 |
| CAPPED_DATA | 2 | ip1 | 1 |
| DATA_SOURCE | 0 | ip0 | $0 |
| DATA_SOURCE | 2 | ip1 | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/xfs/scrub/tempfile.c xrep_tempfile_ilock_both() -> xfs_lock_two_inodes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip0 | 4096-ptr_max |
| PARAM_VALUE | 1 | ip0_mode | 4 |
| PARAM_VALUE | 2 | ip1 | 4096-ptr_max |
| PARAM_VALUE | 2 | ip1->i_df.if_format | (-128)-2,4-127 |
| PARAM_VALUE | 3 | ip1_mode | 4 |
| NOCHECK_CALL |
fs/xfs/xfs_bmap_util.c xfs_swap_extents() -> xfs_lock_two_inodes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip0 | 4096-ptr_max |
| PARAM_VALUE | 0 | ip0->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ip0->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ip0->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | ip0->i_mount->m_inodegc_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ip0->i_mount->m_inodegc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | ip0->i_mount->m_inodegc_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | ip0->i_mount->m_inodegc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | ip0->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 1 | ip0_mode | 4 |
| PARAM_VALUE | 2 | ip1 | 4096-ptr_max |
| PARAM_VALUE | 2 | ip1->i_cowfp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | ip1->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | ip1->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | ip1->i_mount | 4096-ptr_max |
| PARAM_VALUE | 3 | ip1_mode | 4 |
| CAPPED_DATA | 0 | ip0->i_mount | 1 |
| CAPPED_DATA | 2 | ip1->i_mount | 1 |
| DATA_SOURCE | 0 | ip0 | $0 |
| DATA_SOURCE | 2 | ip1 | $1 |
| BIT_INFO | 0 | ip0->i_diflags | 0x0,0xffff |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | ip1->i_delayed_blks |