Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
fs/btrfs/tree-log.c log_dir_items() -> btrfs_search_forward()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root | 4096-ptr_max |
| PARAM_VALUE | 1 | min_key | 7217413690763591680 |
| PARAM_VALUE | 1 | min_key->offset | 1-u64max |
| PARAM_VALUE | 1 | min_key->type | 96 |
| PARAM_VALUE | 2 | *path->locks | 0-255 |
| PARAM_VALUE | 2 | *path->slots | s32min-s32max |
| DATA_SOURCE | 2 | path | $2 |
fs/btrfs/defrag.c btrfs_defrag_leaves() -> btrfs_search_forward()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root | 4096-ptr_max |
| PARAM_VALUE | 0 | root->fs_info->btree_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | root->node | 4096-ptr_max |
| PARAM_VALUE | 0 | root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | min_key | 607953117779128320 |
| PARAM_VALUE | 1 | min_key->objectid | 1-u64max |
| PARAM_VALUE | 2 | path | 4096-ptr_max |
| PARAM_VALUE | 2 | path->keep_locks | 1 |
| PARAM_VALUE | 3 | min_trans | 0 |
| CAPPED_DATA | 0 | root | 1 |
| CAPPED_DATA | 0 | root->node | 1 |
| DATA_SOURCE | 0 | root | $1 |
| DATA_SOURCE | 2 | path | r btrfs_alloc_path |
| CAPABLE | 0 | 21 |
fs/btrfs/defrag.c defrag_get_extent() -> btrfs_search_forward()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | min_key | 6261413631930257408 |
| PARAM_VALUE | 1 | min_key->offset | 0-18446744073709551614 |
| PARAM_VALUE | 1 | min_key->type | 108 |
| PARAM_VALUE | 2 | path | 2040697420915535872 |
| PARAM_VALUE | 2 | path->keep_locks | 0 |
| PARAM_VALUE | 2 | path->lowest_level | 0 |
| PARAM_VALUE | 2 | path->need_commit_sem | 0 |
| PARAM_VALUE | 2 | path->nowait | 0 |
| PARAM_VALUE | 2 | path->reada | 0 |
| PARAM_VALUE | 2 | path->skip_locking | 0 |
| PARAM_VALUE | 3 | min_trans | 1-u64max |
| DATA_SOURCE | 3 | min_trans | $2 |
| NOSPEC | 1 | min_key->offset | |
| USER_DATA | 1 | min_key->offset | 0-9223372039002259454[c] |
| NO_OVERFLOW_SIMPLE | 1 | min_key->offset | |
| LOCK2 | &inode->vfs_inode.i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/btrfs/ioctl.c search_ioctl() -> btrfs_search_forward()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root | 0,4096-ptr_max |
| PARAM_VALUE | 0 | root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | min_key | 8829450759068741632 |
| PARAM_VALUE | 2 | path | 1-u64max |
| BUF_SIZE | 0 | root | (-1),2888 |
| BUF_SIZE | 0 | root | (-1),2888 |
| DATA_SOURCE | 0 | root | $0 [m] |
| DATA_SOURCE | 2 | path | r btrfs_alloc_path |
| CAPABLE | 0 | 21 | |
| USER_DATA | 1 | min_key->objectid | 0-u64max |
| USER_DATA | 1 | min_key->offset | 0-u64max |
| USER_DATA | 1 | min_key->type | 0-255 |
| USER_DATA | 3 | min_trans | 0-u64max |
fs/btrfs/uuid-tree.c btrfs_uuid_scan_kthread() -> btrfs_search_forward()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | min_key | 2407305197628338176 |
| PARAM_VALUE | 2 | path | 1-u64max |
| PARAM_VALUE | 3 | min_trans | 0 |
| DATA_SOURCE | 2 | path | r btrfs_alloc_path |
fs/btrfs/uuid-tree.c btrfs_uuid_tree_iterate() -> btrfs_search_forward()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root->node->lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | root->node->lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | min_key | 3531071578656346112 |
| PARAM_VALUE | 1 | min_key->type | 0,251-252 |
| PARAM_VALUE | 2 | path | 1-u64max |
| PARAM_VALUE | 3 | min_trans | 0 |
| DATA_SOURCE | 2 | path | r btrfs_alloc_path |