Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- fs/xfs/scrub/readdir.c, line 172
- fs/xfs/xfs_bmap_util.c
- fs/xfs/xfs_dir2_readdir.c
- fs/xfs/xfs_iomap.c
- fs/xfs/xfs_reflink.c
Smatch caller information:
fs/xfs/xfs_reflink.c xfs_find_trim_cow_extent() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 7582924981174009856 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18446744073709551614 |
| PARAM_VALUE | 1 | bno | 0-18446744073709551614 |
| PARAM_VALUE | 2 | len | 1-u64max |
| DATA_SOURCE | 0 | irec | $1 |
| NOSPEC | 0 | irec->br_startoff | |
| NOSPEC | 1 | bno | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_blockcount | 0-u64max[c] |
| USER_DATA | 0 | irec->br_startblock | 0-u64max |
| USER_DATA | 0 | irec->br_startoff | 0-18446744073709551614[c] |
| USER_DATA | 1 | bno | 0-18446744073709551614[c] |
| USER_DATA | 2 | len | 1-u64max[c] |
| UNITS | 1 | bno | unit_array_size |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/xfs/xfs_reflink.c xfs_find_trim_cow_extent() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 7582924981174009856 |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| DATA_SOURCE | 0 | irec | $1 |
| NOSPEC | 0 | irec->br_startoff | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_blockcount | 0-u64max[c] |
| USER_DATA | 0 | irec->br_startblock | 0-u64max |
| USER_DATA | 0 | irec->br_startoff | 0-18446744073709551614[c] |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/xfs/xfs_reflink.c xfs_find_trim_cow_extent() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 5307094985346813952 |
| CAPPED_DATA | 0 | irec->br_startoff | 1 |
| DATA_SOURCE | 0 | irec | $2 |
| PARAM_COMPARE | 0 | irec->br_startoff | <= $1 |
| PARAM_COMPARE | 1 | bno | >= $0->br_startoff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | bno | 0-18446744073709551614[c] |
| USER_DATA | 2 | len | 0-u64max[c] |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/xfs/xfs_reflink.c xfs_reflink_cancel_cow_blocks() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 5894673799722303488 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18014398509481983 |
| PARAM_VALUE | 1 | bno | 0-36028797018963965 |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| DATA_SOURCE | 1 | bno | $2 |
| NOSPEC | 1 | bno | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | bno | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | irec->br_startblock |
fs/xfs/xfs_reflink.c xfs_reflink_convert_cow_locked() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 7377040475639648256 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18014398509481983 |
| DATA_SOURCE | 1 | bno | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOSPEC | 1 | bno | |
| NOSPEC | 1 | bno | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | bno | 0-18446744073709551614[c] |
| USER_DATA | 2 | len | 0-u64max[c] |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/xfs_reflink.c xfs_reflink_convert_unwritten() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 5307094985346813952 |
| DATA_SOURCE | 0 | irec | $2 |
| NOSPEC | 1 | bno | |
| NOSPEC | 1 | bno | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_startoff | 0-4294967294[c] |
| USER_DATA | 1 | bno | 0-18446744073709551614[c] |
| USER_DATA | 2 | len | 0-u64max[c] |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/xfs/xfs_reflink.c xfs_reflink_end_cow_extent_locked() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 7431568519799619584 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18014398509481983 |
| PARAM_VALUE | 1 | bno | 0-18446744073709551614 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | bno | 0-18446744073709551614 |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_atomic_write_cow_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 419484597275512832 |
| NOSPEC | 1 | bno | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_startoff | 0-u64max[c] |
| USER_DATA | 1 | bno | 0-u64max |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_atomic_write_cow_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 419484597275512832 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18446744073709551614 |
| PARAM_VALUE | 1 | bno | 0-18446744073709551614 |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| NOSPEC | 0 | irec->br_startoff | |
| NOSPEC | 1 | bno | |
| NOSPEC | 1 | bno | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_startoff | 0-18446744073709551614[c] |
| USER_DATA | 1 | bno | 0-18446744073709551614 |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_atomic_write_cow_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 419484597275512832 |
| PARAM_VALUE | 0 | irec->br_startoff | 1-u64max |
| PARAM_VALUE | 1 | bno | 0-18446744073709551614 |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| NOSPEC | 1 | bno | |
| NOSPEC | 1 | bno | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_startoff | 1-u64max[c] |
| USER_DATA | 1 | bno | 0-18446744073709551614 |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_buffered_write_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 5143740446070280192 |
| PARAM_VALUE | 0 | irec->br_blockcount | 1-u64max |
| PARAM_VALUE | 0 | irec->br_startblock | 18446744073709551614 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18014398509481982 |
| PARAM_VALUE | 1 | bno | 0-18014398509481982 |
| PARAM_VALUE | 2 | len | 1-18014398509481983 |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_blockcount | 1-u64max[c] |
| USER_DATA | 0 | irec->br_startoff | 0-18014398509481982 |
| USER_DATA | 1 | bno | 0-s32max[c] |
| USER_DATA | 2 | len | 1-18014398509481983[c] |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_buffered_write_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 5143740446070280192 |
| PARAM_VALUE | 0 | irec->br_blockcount | 1-u64max |
| PARAM_VALUE | 0 | irec->br_startblock | 18446744073709551614 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18446744073709551614 |
| PARAM_VALUE | 1 | bno | 0-18446744073709551614 |
| PARAM_VALUE | 2 | len | 1-u64max |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 2 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_blockcount | 1-u64max[c] |
| USER_DATA | 0 | irec->br_startoff | 0-18446744073709551614 |
| USER_DATA | 1 | bno | 0-s32max[c] |
| USER_DATA | 2 | len | 1-u64max[c] |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_buffered_write_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 5143740446070280192 |
| PARAM_VALUE | 1 | bno | 0-18446744073709551614 |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_blockcount | 1-u64max[c] |
| USER_DATA | 0 | irec->br_startoff | 0-18446744073709551614[c] |
| USER_DATA | 1 | bno | 0-s32max[c] |
| USER_DATA | 2 | len | 0-36028797018963966,18446744071562067969-u64max[c] |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_buffered_write_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 5143740446070280192 |
| PARAM_VALUE | 1 | bno | 0-18446744073709551614 |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_startoff | 0-18446744073709551614[c] |
| USER_DATA | 1 | bno | 0-s32max[c] |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_buffered_write_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 2276047760485158912 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18014398509481983 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | bno | 0-18446744073709551614[c] |
| UNITS | 1 | bno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
fs/xfs/xfs_iomap.c xfs_buffered_write_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 5143740446070280192 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_startoff | 0-s32max[c] |
| USER_DATA | 1 | bno | 0-u64max |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_buffered_write_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 5143740446070280192 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_startoff | 0-4294967294[c] |
| USER_DATA | 1 | bno | 0-u64max |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_buffered_write_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 2276047760485158912 |
| PARAM_VALUE | 1 | bno | 0-18446744073709551614 |
| PARAM_VALUE | 2 | len | 1-u64max |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_blockcount | 0-2097151 |
| USER_DATA | 0 | irec->br_startblock | 0,131072-u64max |
| USER_DATA | 0 | irec->br_startoff | 0-u64max |
| USER_DATA | 1 | bno | 0-18446744073709551614 |
| USER_DATA | 2 | len | 1-u64max[c] |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_check_atomic_cow_conversion() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 6040383129228181504 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18014398509481983 |
| DATA_SOURCE | 1 | bno | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOCHECK_CALL | |||
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_seek_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 1253689202203828224 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18014398509481983 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | bno | 0-u64max |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_seek_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 4990134678614859776 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495,18446744073709551614 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | irec->br_blockcount | 1-18014398509481983[c] |
| USER_DATA | 0 | irec->br_startoff | 0-u64max |
| USER_DATA | 1 | bno | 0-u64max |
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_iomap.c xfs_zoned_buffered_write_iomap_begin() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 551653794387951616 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| NOCHECK_CALL | |||
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_aops.c xfs_zoned_map_blocks() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 4901903934283411456 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | bno | unit_array_size |
| HALF_LOCKED2 | &folio->private->lock |
fs/xfs/xfs_dir2_readdir.c xfs_dir2_leaf_readbuf() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 4412750740311429120 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-4294967294 |
| PARAM_VALUE | 2 | len | 0-u32max |
| DATA_SOURCE | 1 | bno | r xfs_dir2_db_to_da |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | bno | unit_array_size |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/xfs/xfs_dir2_readdir.c xfs_dir2_leaf_readbuf() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 4412750740311429120 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-4294967294 |
| PARAM_VALUE | 1 | bno | 0-4294967294 |
| PARAM_VALUE | 2 | len | 1-u32max |
| CAPPED_DATA | 1 | bno | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | bno | unit_array_size |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/xfs/scrub/readdir.c xchk_read_leaf_dir_buf() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 3783028120977481728 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-4294967294 |
| PARAM_VALUE | 2 | len | 0-u32max |
| DATA_SOURCE | 1 | bno | r xfs_dir2_db_to_da |
| NOCHECK_CALL | |||
| UNITS | 1 | bno | unit_array_size |
fs/xfs/xfs_bmap_util.c xfs_bmap_punch_delalloc_range() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 4164050920271736832 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18014398509481983 |
| PARAM_VALUE | 1 | bno | 0-36028797018963965 |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| NOSPEC | 1 | bno | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | bno | 0-s32max[c] |
fs/xfs/xfs_bmap_util.c xfs_getbmap() -> xfs_trim_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irec | 8082551360991584256 |
| PARAM_VALUE | 0 | irec->br_blockcount | 0-18014398509481983 |
| PARAM_VALUE | 0 | irec->br_startblock | 0-4503599627370495 |
| PARAM_VALUE | 0 | irec->br_startoff | 0-18014398509481983 |
| PARAM_VALUE | 1 | bno | 0-9223372036854775807 |
| PARAM_VALUE | 2 | len | 0-9223372036854775807 |
| CAPPED_DATA | 1 | bno | 1 |
| CAPPED_DATA | 1 | bno | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 2 | len | 0-9223372036854775807[c] |