Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr3_leaf_to_node() -> xfs_da_buf_copy()

Type Parameter Key Value
PARAM_VALUE 0 dst 0,4096-ptr_max
PARAM_VALUE 1 src 0,4096-ptr_max
PARAM_VALUE 1 src->b_lru_ref.counter 0-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->b_map_count
NO_OVERFLOW_SIMPLE 1 src->b_map_count
UNITS 2 size unit_byte

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_root_join() -> xfs_da_buf_copy()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->b_lru_ref.counter 0-4
PARAM_VALUE 1 src->b_sema.first_waiter->up 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 src->b_map_count
UNITS 2 size unit_byte

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_root_split() -> xfs_da_buf_copy()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->b_addr 4096-ptr_max
PARAM_VALUE 2 size 0-s32max,18446744071562067968-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dst->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_swap_lastblock() -> xfs_da_buf_copy()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->b_lru_ref.counter 0-4
PARAM_VALUE 1 src->b_sema.first_waiter->up 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 src->b_map_count
UNITS 2 size unit_byte