Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ceph/file.c __ceph_copy_file_range() -> ceph_do_objects_copy()

Type Parameter Key Value
PARAM_VALUE 0 src_ci 4096-ptr_max
PARAM_VALUE 0 src_ci->i_layout.object_size 0-1000000000
PARAM_VALUE 0 src_ci->i_layout.stripe_count 1
PARAM_VALUE 0 src_ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 src_ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 src_ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 dst_ci 4096-ptr_max
PARAM_VALUE 2 dst_ci->i_layout.stripe_count 1
PARAM_VALUE 2 dst_ci->netfs.inode.i_data.host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 2 dst_ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 dst_ci->netfs.inode.i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 3 *dst_off 0-1000000000
PARAM_VALUE 4 fsc 4096-ptr_max
PARAM_VALUE 4 fsc->have_copy_from2 1
PARAM_VALUE 4 fsc->mount_options 4096-ptr_max
PARAM_VALUE 6 flags 0
BUF_SIZE 4 fsc 1-s32max
BUF_SIZE 4 fsc 1-s32max
CAPPED_DATA 0 src_ci->i_layout.object_size 1
CAPPED_DATA 0 src_ci->i_layout.stripe_unit 1
CAPPED_DATA 2 dst_ci->i_layout.object_size 1
CAPPED_DATA 2 dst_ci->i_layout.stripe_unit 1
DATA_SOURCE 0 src_ci r ceph_inode
DATA_SOURCE 2 dst_ci r ceph_inode
DATA_SOURCE 5 len $4
DATA_SOURCE 6 flags $5
PARAM_COMPARE 2 dst_ci->i_layout.object_size <= $5
PARAM_COMPARE 2 dst_ci->i_layout.object_size == $0->i_layout.object_size
PARAM_COMPARE 2 dst_ci->i_layout.stripe_unit == $0->i_layout.stripe_unit
PARAM_COMPARE 5 len >= $2->i_layout.object_size
BIT_INFO 4 fsc->mount_options->flags 0x0,0xffffbfff
NOSPEC 1 *src_off
NOSPEC 3 *dst_off
NOSPEC 5 len
NOSPEC 5 len
RX_PATH
USER_DATA 1 *src_off 0-15589934588
USER_DATA 3 *dst_off 0-1000000000[c]
USER_DATA 5 len 1-1000000000[c]
USER_DATA 6 flags 0
NO_OVERFLOW_SIMPLE 1 *src_off
NO_OVERFLOW_SIMPLE 5 len
UNITS 4 fsc unit_byte
UNITS 5 len unit_byte
USER_PTR 1 src_off
USER_PTR 3 dst_off
HALF_LOCKED2 &pool->lock