Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

fs/btrfs/dir-item.c btrfs_delete_one_dir_name() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 dst_offset 0,101-18446744073709547520
PARAM_VALUE 2 src_offset 30-131100
PARAM_VALUE 3 len 0-8589934661,18446744073709420617-u64max
DATA_SOURCE 1 dst_offset $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dst_offset unit_byte
UNITS 2 src_offset unit_byte
UNITS 3 len unit_byte

fs/btrfs/inode-item.c btrfs_del_inode_extref() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 dst_offset 101-8589934690
PARAM_VALUE 2 src_offset 101-10737418337
PARAM_VALUE 3 len 0-8589934590,18446744062972133380-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dst_offset unit_byte
UNITS 2 src_offset unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &inode->log_mutex

fs/btrfs/inode-item.c btrfs_del_inode_ref() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 dst_offset 101-8589934690
PARAM_VALUE 2 src_offset 111-8590000235
PARAM_VALUE 3 len 0-8589934580,18446744065119551482-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dst_offset unit_byte
UNITS 2 src_offset unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &inode->log_mutex

fs/btrfs/tests/extent-io-tests.c test_eb_mem_ops() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->folio_shift 12
PARAM_VALUE 0 dst->folio_size 4096
PARAM_VALUE 0 dst->fs_info 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next->next 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next->prev 4096-ptr_max
PARAM_VALUE 0 dst->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 dst->fs_info->eb_leak_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dst->leak_list.next 4096-ptr_max
PARAM_VALUE 0 dst->leak_list.prev 4096-ptr_max
PARAM_VALUE 0 dst->len 0-65536
PARAM_VALUE 0 dst->lock.count.counter 0
PARAM_VALUE 0 dst->lock.dep_map->name 0-255
PARAM_VALUE 0 dst->lock.first_waiter 0
PARAM_VALUE 0 dst->lock.magic 4096-ptr_max
PARAM_VALUE 0 dst->lock.osq.tail.counter 0
PARAM_VALUE 0 dst->lock.owner.counter 0
PARAM_VALUE 0 dst->refs.refs.counter 1
PARAM_VALUE 0 dst->writeback_inhibitors.counter 0
PARAM_VALUE 1 dst_offset 512
PARAM_VALUE 2 src_offset 256
PARAM_VALUE 3 len 512
CAPPED_DATA 0 dst 1
DATA_SOURCE 0 dst r alloc_dummy_extent_buffer
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->len
NO_OVERFLOW_SIMPLE 0 dst->start

fs/btrfs/tests/extent-io-tests.c test_eb_mem_ops() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->folio_shift 12
PARAM_VALUE 0 dst->folio_size 4096
PARAM_VALUE 0 dst->fs_info 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next->next 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next->prev 4096-ptr_max
PARAM_VALUE 0 dst->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 dst->fs_info->eb_leak_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dst->leak_list.next 4096-ptr_max
PARAM_VALUE 0 dst->leak_list.prev 4096-ptr_max
PARAM_VALUE 0 dst->len 0-65536
PARAM_VALUE 0 dst->lock.count.counter 0
PARAM_VALUE 0 dst->lock.dep_map->name 0-255
PARAM_VALUE 0 dst->lock.first_waiter 0
PARAM_VALUE 0 dst->lock.magic 4096-ptr_max
PARAM_VALUE 0 dst->lock.osq.tail.counter 0
PARAM_VALUE 0 dst->lock.owner.counter 0
PARAM_VALUE 0 dst->refs.refs.counter 1
PARAM_VALUE 0 dst->writeback_inhibitors.counter 0
PARAM_VALUE 1 dst_offset 2048
PARAM_VALUE 2 src_offset 512
PARAM_VALUE 3 len 2048
CAPPED_DATA 0 dst 1
DATA_SOURCE 0 dst r alloc_dummy_extent_buffer
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->len
NO_OVERFLOW_SIMPLE 0 dst->start

fs/btrfs/tests/extent-io-tests.c test_eb_mem_ops() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->folio_shift 12
PARAM_VALUE 0 dst->folio_size 4096
PARAM_VALUE 0 dst->fs_info 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next->next 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next->prev 4096-ptr_max
PARAM_VALUE 0 dst->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 dst->fs_info->eb_leak_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dst->leak_list.next 4096-ptr_max
PARAM_VALUE 0 dst->leak_list.prev 4096-ptr_max
PARAM_VALUE 0 dst->len 0-65536
PARAM_VALUE 0 dst->lock.count.counter 0
PARAM_VALUE 0 dst->lock.dep_map->name 0-255
PARAM_VALUE 0 dst->lock.first_waiter 0
PARAM_VALUE 0 dst->lock.magic 4096-ptr_max
PARAM_VALUE 0 dst->lock.osq.tail.counter 0
PARAM_VALUE 0 dst->lock.owner.counter 0
PARAM_VALUE 0 dst->refs.refs.counter 1
PARAM_VALUE 0 dst->writeback_inhibitors.counter 0
PARAM_VALUE 1 dst_offset 512
PARAM_VALUE 2 src_offset 2048
PARAM_VALUE 3 len 2048
CAPPED_DATA 0 dst 1
DATA_SOURCE 0 dst r alloc_dummy_extent_buffer
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->len
NO_OVERFLOW_SIMPLE 0 dst->start

fs/btrfs/tests/extent-io-tests.c test_eb_mem_ops() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->folio_shift 12
PARAM_VALUE 0 dst->folio_size 4096
PARAM_VALUE 0 dst->fs_info 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next->next 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next->prev 4096-ptr_max
PARAM_VALUE 0 dst->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 dst->fs_info->eb_leak_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dst->leak_list.next 4096-ptr_max
PARAM_VALUE 0 dst->leak_list.prev 4096-ptr_max
PARAM_VALUE 0 dst->len 0-65536
PARAM_VALUE 0 dst->lock.count.counter 0
PARAM_VALUE 0 dst->lock.dep_map->name 0-255
PARAM_VALUE 0 dst->lock.first_waiter 0
PARAM_VALUE 0 dst->lock.magic 4096-ptr_max
PARAM_VALUE 0 dst->lock.osq.tail.counter 0
PARAM_VALUE 0 dst->lock.owner.counter 0
PARAM_VALUE 0 dst->refs.refs.counter 1
PARAM_VALUE 0 dst->writeback_inhibitors.counter 0
PARAM_VALUE 1 dst_offset 3968
PARAM_VALUE 2 src_offset 4032
PARAM_VALUE 3 len 256
CAPPED_DATA 0 dst 1
DATA_SOURCE 0 dst r alloc_dummy_extent_buffer
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->len
NO_OVERFLOW_SIMPLE 0 dst->start

fs/btrfs/tests/extent-io-tests.c test_eb_mem_ops() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->folio_shift 12
PARAM_VALUE 0 dst->folio_size 4096
PARAM_VALUE 0 dst->fs_info 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next->next 4096-ptr_max
PARAM_VALUE 0 dst->fs_info->allocated_ebs.next->prev 4096-ptr_max
PARAM_VALUE 0 dst->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 dst->fs_info->eb_leak_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dst->leak_list.next 4096-ptr_max
PARAM_VALUE 0 dst->leak_list.prev 4096-ptr_max
PARAM_VALUE 0 dst->len 0-65536
PARAM_VALUE 0 dst->lock.count.counter 0
PARAM_VALUE 0 dst->lock.dep_map->name 0-255
PARAM_VALUE 0 dst->lock.first_waiter 0
PARAM_VALUE 0 dst->lock.magic 4096-ptr_max
PARAM_VALUE 0 dst->lock.osq.tail.counter 0
PARAM_VALUE 0 dst->lock.owner.counter 0
PARAM_VALUE 0 dst->refs.refs.counter 1
PARAM_VALUE 0 dst->writeback_inhibitors.counter 0
PARAM_VALUE 1 dst_offset 4032
PARAM_VALUE 2 src_offset 3968
PARAM_VALUE 3 len 256
CAPPED_DATA 0 dst 1
DATA_SOURCE 0 dst r alloc_dummy_extent_buffer
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->len
NO_OVERFLOW_SIMPLE 0 dst->start

fs/btrfs/tree-mod-log.c tree_mod_log_rewind() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->folio_shift 12
PARAM_VALUE 0 dst->folio_size 4096
PARAM_VALUE 0 dst->lock.dep_map->name 0-255
PARAM_VALUE 0 dst->lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 dst->lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 dst->lock.first_waiter->type 0-1
PARAM_VALUE 3 len 33-70866960351
CAPPED_DATA 0 dst 1
DATA_SOURCE 0 dst $1
DATA_SOURCE 1 dst_offset r btrfs_node_key_ptr_offset
DATA_SOURCE 2 src_offset r btrfs_node_key_ptr_offset
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 src_offset
LOCK2 &fs_info->tree_mod_log_lock
LOCK2 0 &dst->lock
TYPE_LOCK (struct btrfs_fs_info)->tree_mod_log_lock
TYPE_LOCK (struct extent_buffer)->lock

fs/btrfs/extent-tree.c setup_inline_extent_backref() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 dst_offset 110-8589934710
PARAM_VALUE 2 src_offset 101-8589934681
PARAM_VALUE 3 len 1-8589934581
CAPPED_DATA 1 dst_offset 1
CAPPED_DATA 2 src_offset 1
CAPPED_DATA 2 src_offset 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fs_info->reloc_mutex
HALF_LOCKED2 &href->mutex

fs/btrfs/extent-tree.c update_inline_extent_backref() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 dst_offset 4096-8589934691
PARAM_VALUE 2 src_offset 4105-8589934690
PARAM_VALUE 3 len 1-u64max
DATA_SOURCE 1 dst_offset $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fs_info->reloc_mutex
HALF_LOCKED2 &href->mutex

fs/btrfs/uuid-tree.c btrfs_uuid_tree_remove() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 dst_offset 101-4294967396
PARAM_VALUE 2 src_offset 109-4294967404
PARAM_VALUE 3 len 0-8589934582,18446744069414584313-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 src_offset unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &fs_info->subvol_sem

fs/btrfs/ctree.c balance_node_right() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->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 dst->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dst->lock.first_waiter->type 0-1
PARAM_VALUE 1 dst_offset 134-35433480293
PARAM_VALUE 2 src_offset 101
CAPPED_DATA 1 dst_offset 1
DATA_SOURCE 0 dst $1
BIT_INFO 1 dst_offset 0x0,0xfffffffff
BIT_INFO 2 src_offset 0x65,0x65
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->len
NO_OVERFLOW_SIMPLE 0 dst->start
HALF_LOCKED2 &cow->lock
HALF_LOCKED2 &src->lock
HALF_LOCKED2 0 &dst->lock

fs/btrfs/ctree.c btrfs_del_ptr() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
NOCHECK_CALL

fs/btrfs/ctree.c btrfs_truncate_item() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 dst_offset 101-4294967396
PARAM_VALUE 2 src_offset 0-4294967396,18446744069414584422-u64max
PARAM_VALUE 3 len 21
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 src_offset unit_byte

fs/btrfs/ctree.c insert_ptr() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
CAPPED_DATA 1 dst_offset 1
CAPPED_DATA 2 src_offset 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &c->lock
HALF_LOCKED2 &right->lock

fs/btrfs/ctree.c memmove_leaf_data() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->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 dst->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dst->lock.first_waiter->type 0-1
PARAM_VALUE 1 dst_offset 101-4294967396
PARAM_VALUE 3 len 0-u32max,18446744071562067968-u64max
DATA_SOURCE 0 dst $0
DATA_SOURCE 3 len $3
BIT_INFO 1 dst_offset 0x0,0x1ffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->len
NO_OVERFLOW_SIMPLE 0 dst->start
UNITS 1 dst_offset unit_byte
UNITS 2 src_offset unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &left->lock
HALF_LOCKED2 0 &dst->lock

fs/btrfs/ctree.c memmove_leaf_items() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->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 dst->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dst->lock.first_waiter->type 0-1
DATA_SOURCE 0 dst $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->len
NO_OVERFLOW_SIMPLE 0 dst->start
HALF_LOCKED2 &left->lock
HALF_LOCKED2 0 &dst->lock

fs/btrfs/ctree.c push_node_left() -> memmove_extent_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->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 dst->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dst->lock.first_waiter->type 0-1
PARAM_VALUE 1 dst_offset 101
CAPPED_DATA 2 src_offset 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 dst $2
BIT_INFO 1 dst_offset 0x65,0x65
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->len
NO_OVERFLOW_SIMPLE 0 dst->start
HALF_LOCKED2 &cow->lock
HALF_LOCKED2 &dst->lock
HALF_LOCKED2 0 &dst->lock