Defined in 1 files as a function:
Referenced in 4 files:
- fs/xfs/xfs_attr_inactive.c
- fs/xfs/xfs_inode.c, line 1174
- fs/xfs/xfs_iops.c, line 1095
- fs/xfs/xfs_qm_syscalls.c, line 82
Smatch caller information:
fs/xfs/xfs_inode.c xfs_inactive_truncate() -> xfs_itruncate_extents()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tpp | 2618964315348676608 |
| PARAM_VALUE | 0 | *tpp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_cowfp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_disk_size | 0 |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ail.next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ail.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ail.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ail.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ail.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_bio_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_bio_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_bio_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_bio_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_bio_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_cil.next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_cil.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_cil.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_cil.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_cil.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_lv | 0 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->flags | 0-2,5 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_committed | 0,283025114569195520,5164564067102691328 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_committing | 0,4828373187025854464,6929890327166103552,8391046949560442880 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_intent | 0,564933579169271808,1432282536262184960,2001389918975270912,6466259957020385280,8569170642382753792,9140561983953010688 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_match | 0,632712193071185920,2903961003257139200,2990082737005334528,4656829959769772032,8815353037356904448,8840775383261859840 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_pin | 0,128515512824188928,1388028456347627520,2041315837493792768 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_precommit | 0,1492769248575832064,4373168401562583040,7909231871947640832,8569134365498331136 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_push | 0,925402561215127552,8226357149320933376,9036841439544610816 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_sort | 0,4561676619972972544,7092074397265825792 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_trans.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_trans.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_trans.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_lock_flags | 0,4 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 2 | whichfork | 0 |
| PARAM_VALUE | 3 | new_size | 0 |
| DATA_SOURCE | 1 | ip | $0 |
| UNITS | 1 | ip | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/xfs/xfs_qm_syscalls.c xfs_qm_scall_trunc_qfile() -> xfs_itruncate_extents()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tpp | 5268614160741654528 |
| PARAM_VALUE | 0 | *tpp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_df.if_format | 2-3 |
| PARAM_VALUE | 1 | ip->i_disk_size | 0 |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_lv | 0 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->flags | 0-2,5 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_committed | 0,283025114569195520,5164564067102691328 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_committing | 0,4828373187025854464,6929890327166103552,8391046949560442880 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_intent | 0,564933579169271808,1432282536262184960,2001389918975270912,6466259957020385280,8569170642382753792,9140561983953010688 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_match | 0,632712193071185920,2903961003257139200,2990082737005334528,4656829959769772032,8815353037356904448,8840775383261859840 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_pin | 0,128515512824188928,1388028456347627520,2041315837493792768 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_precommit | 0,1492769248575832064,4373168401562583040,7909231871947640832,8569134365498331136 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_push | 0,925402561215127552,8226357149320933376,9036841439544610816 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_sort | 0,4561676619972972544,7092074397265825792 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_lock_flags | 0,4 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ip->i_projid | 0 |
| PARAM_VALUE | 2 | whichfork | 0 |
| PARAM_VALUE | 3 | new_size | 0 |
| HALF_LOCKED2 | &sb->s_umount |
fs/xfs/xfs_iops.c xfs_vn_setattr_size() -> xfs_itruncate_extents()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tpp | 8363219276239167488 |
| PARAM_VALUE | 0 | *tpp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_lv | 0 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->flags | 0-2,5 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_committed | 0,283025114569195520,5164564067102691328 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_committing | 0,4828373187025854464,6929890327166103552,8391046949560442880 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_intent | 0,564933579169271808,1432282536262184960,2001389918975270912,6466259957020385280,8569170642382753792,9140561983953010688 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_match | 0,632712193071185920,2903961003257139200,2990082737005334528,4656829959769772032,8815353037356904448,8840775383261859840 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_pin | 0,128515512824188928,1388028456347627520,2041315837493792768 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_precommit | 0,1492769248575832064,4373168401562583040,7909231871947640832,8569134365498331136 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_push | 0,925402561215127552,8226357149320933376,9036841439544610816 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_ops->iop_sort | 0,4561676619972972544,7092074397265825792 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_lock_flags | 0,4 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 2 | whichfork | 0 |
| CAPPED_DATA | 1 | ip->i_disk_size | 1 |
| CAPPED_DATA | 3 | new_size | 1 |
| CAPPED_DATA | 3 | new_size | 1 |
| DATA_SOURCE | 1 | ip | r XFS_I |
| NOSPEC | 1 | ip->i_disk_size | |
| NOSPEC | 3 | new_size | |
| NOSPEC | 3 | new_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | ip->i_disk_size | (-9223372036854775807)-(-4096),0-s64max[c] |
| USER_DATA | 3 | new_size | (-9223372036854775807)-(-4096),0-s64max[c] |
| UNITS | 3 | new_size | unit_byte |
fs/xfs/xfs_attr_inactive.c xfs_attr_inactive() -> xfs_itruncate_extents()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tpp | 5130382155209293824 |
| PARAM_VALUE | 0 | *tpp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_af.if_nextents | 1-u64max |
| PARAM_VALUE | 1 | ip->i_cowfp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_forkoff | 1-255 |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_lv | 0 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_lock_flags | 0 |
| PARAM_VALUE | 1 | ip->i_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_mount->m_attr_geo | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 2 | whichfork | 1 |
| DATA_SOURCE | 1 | ip | $0 |
| FUZZY_MAX | 1 | ip->i_af.if_nextents | 1 |
| UNITS | 1 | ip | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/xfs/xfs_attr_inactive.c xfs_attr_inactive() -> xfs_itruncate_extents()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tpp | 5130382155209293824 |
| PARAM_VALUE | 0 | *tpp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_af.if_nextents | 1-u64max |
| PARAM_VALUE | 1 | ip->i_cowfp | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_forkoff | 1-255 |
| PARAM_VALUE | 1 | ip->i_gdquot->q_qlock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | ip->i_gdquot->q_qlock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | ip->i_gdquot->q_qlock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | ip->i_gdquot->q_qlock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | ip->i_gdquot->q_qlock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_gdquot->q_qlock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 1 | ip->i_gdquot->q_qlock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_gdquot->q_qlock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | ip->i_itemp | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_item.li_lv | 0 |
| PARAM_VALUE | 1 | ip->i_itemp->ili_lock_flags | 0 |
| PARAM_VALUE | 1 | ip->i_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_mount->m_attr_geo | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 1 | ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->first_flusher->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 1 | ip->i_mount->m_inodegc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 1 | ip->i_pdquot->q_qlock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | ip->i_pdquot->q_qlock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | ip->i_pdquot->q_qlock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | ip->i_pdquot->q_qlock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | ip->i_pdquot->q_qlock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_pdquot->q_qlock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 1 | ip->i_pdquot->q_qlock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_udquot->q_qlock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | ip->i_udquot->q_qlock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | ip->i_udquot->q_qlock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | ip->i_udquot->q_qlock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | ip->i_udquot->q_qlock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_udquot->q_qlock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 1 | ip->i_udquot->q_qlock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | ip->i_udquot->q_qlock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 2 | whichfork | 1 |
| PARAM_VALUE | 3 | new_size | 0 |
| DATA_SOURCE | 1 | ip | $0 |
| FUZZY_MAX | 1 | ip->i_af.if_nextents | 1 |
| NO_OVERFLOW_SIMPLE | 1 | ip->i_delayed_blks | |
| UNITS | 1 | ip | unit_byte |
| HALF_LOCKED2 | &pool->lock |