Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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

drivers/md/persistent-data/dm-btree.c value64() -> value_base()

Type Parameter Key Value
DATA_SOURCE 0 n $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-btree.c value_ptr() -> value_base()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
DATA_SOURCE 0 n $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-space-map-common.c value_ptr() -> value_base()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
CAPPED_DATA 0 n->header.nr_entries 1
DATA_SOURCE 0 n $0

drivers/md/persistent-data/dm-btree-remove.c value64() -> value_base()

Type Parameter Key Value
DATA_SOURCE 0 n $0
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-remove.c value_ptr() -> value_base()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
DATA_SOURCE 0 n $0
HALF_LOCKED2 &td->pmd->root_lock