Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/maple_tree.c cp_data_write() -> node_copy()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->sheaf 0,4096-ptr_max
PARAM_VALUE 0 mas->sheaf->size s32min-4294967295
CAPPED_DATA 0 mas->index 1
DATA_SOURCE 0 mas $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 start unit_byte
UNITS 3 size unit_byte
UNITS 7 d_start unit_byte
HALF_LOCKED2 &mt->ma_lock

lib/maple_tree.c cp_is_new_root() -> node_copy()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 0 mas->alloc 0
PARAM_VALUE 0 mas->sheaf 0,4096-ptr_max
PARAM_VALUE 0 mas->sheaf->size s32min-4294967295
PARAM_VALUE 0 mas->tree 4096-ptr_max
PARAM_VALUE 0 mas->tree->ma_flags 1-u32max
PARAM_VALUE 2 start 0
PARAM_VALUE 3 size 2-3
PARAM_VALUE 4 s_max u64max
PARAM_VALUE 5 s_mt 4
PARAM_VALUE 7 d_start 0
PARAM_VALUE 8 d_mt 2-3
CAPPED_DATA 3 size 1
DATA_SOURCE 0 mas $1
FUZZY_MAX 8 d_mt 3
BIT_INFO 8 d_mt 0x2,0x3
HARD_MAX 8 d_mt 3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mas->index
UNITS 3 size unit_byte
UNITS 4 s_max unit_byte
HALF_LOCKED2 &mt->ma_lock

drivers/md/persistent-data/dm-btree-remove.c __rebalance2() -> node_copy()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-remove.c delete_center_node() -> node_copy()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
CAPPED_DATA 0 mas->header.max_entries 1
CAPPED_DATA 1 src->header.max_entries 1
DATA_SOURCE 0 mas $5
DATA_SOURCE 1 src $6
NOCHECK_CALL
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-remove.c delete_center_node() -> node_copy()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
CAPPED_DATA 0 mas->header.max_entries 1
CAPPED_DATA 1 src->header.max_entries 1
CAPPED_DATA 2 start 1
DATA_SOURCE 0 mas $6
DATA_SOURCE 1 src $7
NOCHECK_CALL
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-remove.c shift() -> node_copy()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 start 1-s32max
CAPPED_DATA 2 start 1
DATA_SOURCE 0 mas $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 start $2
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-remove.c shift() -> node_copy()

Type Parameter Key Value
PARAM_VALUE 0 mas 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 start s32min-(-1)
DATA_SOURCE 0 mas $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 start $2
HALF_LOCKED2 &td->pmd->root_lock