Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/reflink.c btrfs_clone() -> clone_copy_inline_extent()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->io_tree.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->root 4096-ptr_max
PARAM_VALUE 0 inode->root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 inode->root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inode->root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->nodes 4096-ptr_max
PARAM_VALUE 1 path->slots 4096-ptr_max
PARAM_VALUE 1 *path->locks 0-255
PARAM_VALUE 1 *path->slots s32min-s32max
PARAM_VALUE 2 new_key 5325414554407882752
PARAM_VALUE 2 new_key->type 0-108
PARAM_VALUE 7 inline_data 1-18446744073709551614
PARAM_VALUE 8 trans_out 8101204046590291968
BUF_SIZE 7 inline_data 0-u32max
BUF_SIZE 7 inline_data 0-u32max
CAPPED_DATA 4 datal 1
CAPPED_DATA 4 datal 1
DATA_SOURCE 0 inode $1
DATA_SOURCE 1 path r btrfs_alloc_path
DATA_SOURCE 4 datal r btrfs_file_extent_ram_bytes
DATA_SOURCE 5 size r btrfs_item_size
DATA_SOURCE 6 comp_type r btrfs_file_extent_compression
DATA_SOURCE 7 inline_data r __kvmalloc_node_noprof
CONSTRAINT 4 datal <=4015
NOSPEC 2 new_key->offset
NOSPEC 3 drop_start
NOSPEC 3 drop_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 new_key->offset 0-9223372036854775807[c]
USER_DATA 3 drop_start 0-u64max[c]
NO_OVERFLOW_SIMPLE 2 new_key->offset
NO_OVERFLOW_SIMPLE 3 drop_start
UNITS 3 drop_start unit_byte
UNITS 4 datal unit_byte