Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 shift 1-s32max
DATA_SOURCE 0 n $1
DATA_SOURCE 1 shift $2
NOCHECK_CALL
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 shift s32min-(-1)
CAPPED_DATA 0 n->header.value_size 1
CAPPED_DATA 1 shift 1
DATA_SOURCE 0 n $1
DATA_SOURCE 1 shift $2
NOCHECK_CALL
HALF_LOCKED2 &td->pmd->root_lock