Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/xfs/xfs_reflink.c xfs_reflink_cancel_cow_blocks() -> xfs_bmap_del_extent_cow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_cowfp | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_cowfp->if_bytes | s64min-(-1),1-s64max |
| PARAM_VALUE | 0 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ip->i_itemp | 1-u64max |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->flags | 0-2,5 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_committed | 0,283025114569195520,5164564067102691328 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_committing | 0,4828373187025854464,6929890327166103552,8391046949560442880 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_intent | 0,564933579169271808,1432282536262184960,2001389918975270912,6466259957020385280,8569170642382753792,9140561983953010688 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_match | 0,632712193071185920,2903961003257139200,2990082737005334528,4656829959769772032,8815353037356904448,8840775383261859840 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_pin | 0,128515512824188928,1388028456347627520,2041315837493792768 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_precommit | 0,1492769248575832064,4373168401562583040,7909231871947640832,8569134365498331136 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_push | 0,925402561215127552,8226357149320933376,9036841439544610816 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_sort | 0,4561676619972972544,7092074397265825792 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_lock_flags | 0-u16max |
| PARAM_VALUE | 0 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | icur | 1591609363101614080 |
| PARAM_VALUE | 1 | icur->leaf | 1-u64max |
| PARAM_VALUE | 1 | icur->pos | 0-s32max |
| PARAM_VALUE | 2 | got | 3429789861632385024 |
| PARAM_VALUE | 2 | got->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 2 | got->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 2 | got->br_startoff | 0-18014398509481983 |
| PARAM_VALUE | 2 | got->br_state | 0-1 |
| PARAM_VALUE | 3 | del | 5894673799722303488 |
| PARAM_VALUE | 3 | del->br_blockcount | 1-u64max |
| PARAM_VALUE | 3 | del->br_startblock | 0-18446744073709551614 |
| PARAM_VALUE | 3 | del->br_state | 0-1 |
| CAPPED_DATA | 0 | ip | 1 |
| DATA_SOURCE | 0 | ip | $0 |
| BIT_INFO | 0 | ip->i_diflags | 0x0,0xffff |
| NOSPEC | 0 | ip->i_disk_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ip->i_disk_size | (-9223372036854775807)-(-4096),0-s64max[c] |
| USER_DATA | 3 | del->br_startoff | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_pdquot->q_id | |
| NO_OVERFLOW_SIMPLE | 3 | del->br_blockcount | |
| NO_OVERFLOW_SIMPLE | 3 | del->br_startblock | |
| UNITS | 0 | ip | unit_byte |
fs/xfs/xfs_reflink.c xfs_reflink_end_cow_extent_locked() -> xfs_bmap_del_extent_cow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_cowfp->if_height | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | ip->i_diflags2 | 0,16-u64max |
| PARAM_VALUE | 0 | ip->i_flags_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ip->i_itemp | 1-u64max |
| PARAM_VALUE | 0 | ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_lv | 0 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->flags | 0-2,5 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_committed | 0,283025114569195520,5164564067102691328 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_committing | 0,4828373187025854464,6929890327166103552,8391046949560442880 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_intent | 0,564933579169271808,1432282536262184960,2001389918975270912,6466259957020385280,8569170642382753792,9140561983953010688 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_match | 0,632712193071185920,2903961003257139200,2990082737005334528,4656829959769772032,8815353037356904448,8840775383261859840 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_pin | 0,128515512824188928,1388028456347627520,2041315837493792768 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_precommit | 0,1492769248575832064,4373168401562583040,7909231871947640832,8569134365498331136 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_push | 0,925402561215127552,8226357149320933376,9036841439544610816 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_item.li_ops->iop_sort | 0,4561676619972972544,7092074397265825792 |
| PARAM_VALUE | 0 | ip->i_itemp->ili_lock_flags | 0,4 |
| PARAM_VALUE | 0 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ip->i_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ip->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_mount->m_bm_maxlevels | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_mount->m_inodegc_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | ip->i_mount->m_inodegc_wq->flusher_overflow.prev->next | 2906673126597898240 |
| PARAM_VALUE | 0 | ip->i_mount->m_inodegc_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | ip->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 1 | icur | 8649440979100049408 |
| PARAM_VALUE | 1 | icur->leaf | 1-u64max |
| PARAM_VALUE | 1 | icur->pos | 0-s32max |
| PARAM_VALUE | 2 | got | 1604691489507266560 |
| PARAM_VALUE | 2 | got->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 2 | got->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 2 | got->br_startoff | 0-18014398509481983 |
| PARAM_VALUE | 2 | got->br_state | 0 |
| PARAM_VALUE | 3 | del | 7431568519799619584 |
| PARAM_VALUE | 3 | del->br_state | 0 |
| DATA_SOURCE | 0 | ip | $1 |
| BIT_INFO | 0 | ip->i_diflags | 0x0,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | del->br_blockcount | 0-s32max[c] |
| USER_DATA | 3 | del->br_startoff | 0-4294967294[c] |
| NO_OVERFLOW_SIMPLE | 0 | ip->i_delayed_blks |