Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/xfs_iomap.c xfs_buffered_write_iomap_begin() -> xfs_iomap_prealloc_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_df.if_format | 2-3 |
| PARAM_VALUE | 0 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ip->i_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| 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_errortag | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 1 | whichfork | 0 |
| PARAM_VALUE | 3 | count | s64min-4194304 |
| PARAM_VALUE | 4 | icur | 4976642189352935424 |
| PARAM_VALUE | 4 | icur->pos | 0-s32max |
| CAPPED_DATA | 3 | count | 1 |
| CAPPED_DATA | 3 | count | 1 |
| DATA_SOURCE | 0 | ip | r XFS_I |
| DATA_SOURCE | 2 | offset | $1 |
| DATA_SOURCE | 3 | count | $2 [m] |
| NOSPEC | 2 | offset | |
| NOSPEC | 2 | offset | |
| NOSPEC | 3 | count | |
| NOSPEC | 3 | count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | offset | s64min-s64max |
| USER_DATA | 3 | count | s64min-4194303[c] |
| UNITS | 2 | offset | unit_byte |
| UNITS | 3 | count | unit_byte |
fs/xfs/xfs_iomap.c xfs_buffered_write_iomap_begin() -> xfs_iomap_prealloc_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ip | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_df.if_format | 2-3 |
| PARAM_VALUE | 0 | ip->i_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ip->i_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| 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_errortag | 4096-ptr_max |
| PARAM_VALUE | 0 | ip->i_mount->m_super | 4096-ptr_max |
| PARAM_VALUE | 1 | whichfork | 2 |
| PARAM_VALUE | 4 | icur | 7373296699005091840 |
| DATA_SOURCE | 0 | ip | r XFS_I |
| DATA_SOURCE | 2 | offset | $1 |
| DATA_SOURCE | 3 | count | $2 [m] |
| NOSPEC | 2 | offset | |
| NOSPEC | 2 | offset | |
| NOSPEC | 3 | count | |
| NOSPEC | 3 | count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | offset | s64min-s64max |
| USER_DATA | 3 | count | s64min-s64max |
| UNITS | 2 | offset | unit_byte |
| UNITS | 3 | count | unit_byte |