Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/send.c send_write_or_clone() -> clone_range()

Type Parameter Key Value
PARAM_VALUE 0 sctx 4096-ptr_max
PARAM_VALUE 0 sctx->parent_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sctx->parent_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 sctx->parent_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sctx->parent_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 0 sctx->send_root 4096-ptr_max
PARAM_VALUE 0 sctx->send_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sctx->send_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 sctx->send_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sctx->send_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 dst_path 4096-ptr_max
PARAM_VALUE 1 dst_path->nodes 4096-ptr_max
PARAM_VALUE 1 dst_path->slots 4096-ptr_max
PARAM_VALUE 2 clone_root 1-u64max
PARAM_VALUE 5 offset 0-18446744073709551614
PARAM_VALUE 6 len 1-u64max
CAPPED_DATA 5 offset 1
CAPPED_DATA 5 offset 1
CAPPED_DATA 6 len 1
CAPPED_DATA 6 len 1
DATA_SOURCE 0 sctx $0
DATA_SOURCE 1 dst_path $1
DATA_SOURCE 2 clone_root $3
DATA_SOURCE 3 disk_byte r btrfs_file_extent_disk_bytenr
DATA_SOURCE 4 data_offset r btrfs_file_extent_offset
UNITS 5 offset unit_byte
UNITS 6 len unit_byte