Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/defrag.c defrag_check_next_extent() -> defrag_lookup_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_size | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 2 | newer_than | 1 |
| CAPPED_DATA | 2 | newer_than | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | start | r btrfs_extent_map_end |
| DATA_SOURCE | 2 | newer_than | $3 |
| DATA_SOURCE | 3 | locked | $4 |
| USER_DATA | 1 | start | 1-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| LOCK2 | &inode->vfs_inode.i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/btrfs/defrag.c defrag_collect_targets() -> defrag_lookup_extent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_size | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 2 | newer_than | $4 |
| DATA_SOURCE | 3 | locked | $6 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| USER_DATA | 1 | start | 0-9223372039002259454[c] |
| UNITS | 1 | start | unit_byte |
| LOCK2 | &inode->vfs_inode.i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |