Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/persistent-data/dm-btree.c insert_at() -> array_insert()

Type Parameter Key Value
PARAM_VALUE 1 elt_size 8
PARAM_VALUE 2 nr_elts 0-4294967294
PARAM_VALUE 3 index 0-s32max
PARAM_VALUE 4 elt 5569398532534669312
BUF_SIZE 4 elt 8
CAPPED_DATA 2 nr_elts 1
CAPPED_DATA 3 index 1
DATA_SOURCE 3 index $2
FUZZY_MAX 3 index 1
PARAM_COMPARE 2 nr_elts >= $3
PARAM_COMPARE 3 index <= $2
PREEMPT_ADD
NOCHECK_CALL
UNITS 1 elt_size unit_byte
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree.c insert_at() -> array_insert()

Type Parameter Key Value
PARAM_VALUE 0 base 4096-ptr_max
PARAM_VALUE 2 nr_elts 0-4294967294
PARAM_VALUE 3 index 0-s32max
PARAM_VALUE 4 elt 4096-ptr_max
BUF_SIZE 4 elt 4,8,12,16,24
BUF_SIZE 4 elt 4,8,12,16,24
CAPPED_DATA 2 nr_elts 1
CAPPED_DATA 3 index 1
DATA_SOURCE 1 elt_size $0
DATA_SOURCE 3 index $2
DATA_SOURCE 4 elt $4
FUZZY_MAX 3 index 1
PARAM_COMPARE 2 nr_elts >= $3
PARAM_COMPARE 3 index <= $2
PREEMPT_ADD
NOCHECK_CALL
UNITS 1 elt_size unit_byte
HALF_LOCKED2 &td->pmd->root_lock