Defined in 10 files as a member:

Defined in 1 files as a function:

Referenced in 25 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 index 0-2147483645
CAPPED_DATA 1 index 1
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 index r lower_bound
PARAM_COMPARE 1 index < $0->header.nr_entries
BIT_INFO 0 n->header.flags 0x0,0xfffffffd

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 index 0-2147483645
CAPPED_DATA 1 index 1
DATA_SOURCE 0 n r dm_block_data
BIT_INFO 0 n->header.flags 0x0,0xfffffffd
PREEMPT_ADD
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-1073741822
CAPPED_DATA 1 index 1
DATA_SOURCE 1 index r search_fn
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->header.flags 1-u32max
PARAM_VALUE 1 index 0-4294967294
CAPPED_DATA 1 index 1
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 index 0-4294967294
CAPPED_DATA 1 index 1
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->header.flags 1-u32max
PARAM_VALUE 1 index 0-2147483645
CAPPED_DATA 1 index 1
DATA_SOURCE 0 n r dm_block_data
PREEMPT_ADD

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->header.flags 1-u32max
PARAM_VALUE 1 index 1-2147483646
DATA_SOURCE 0 n r dm_block_data
PREEMPT_ADD

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

Type Parameter Key Value
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 1 index 0
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 index 0-2147483646
CAPPED_DATA 1 index 1
DATA_SOURCE 0 n r dm_block_data
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
CAPPED_DATA 1 index 1
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 index 0-2147483645
DATA_SOURCE 0 n r dm_block_data
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 index 1-s32max
CAPPED_DATA 1 index 1
DATA_SOURCE 0 n r dm_block_data
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
CAPPED_DATA 1 index 1
DATA_SOURCE 0 n $2
DATA_SOURCE 1 index $3
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->header.flags 1-u32max
CAPPED_DATA 1 index 1
DATA_SOURCE 0 n r dm_block_data
BIT_INFO 0 n->header.flags 0x1,0xffffffff

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-1073741822
DATA_SOURCE 0 n r dm_block_data
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
DATA_SOURCE 0 n $2
DATA_SOURCE 1 index $3
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 index 0
DATA_SOURCE 0 n r dm_block_data
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 index 0-1073741822,u32max
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 index r lower_bound
BIT_INFO 0 n->header.flags 0x0,0xfffffffd
LOCK2 &td->pmd->root_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-1073741822
DATA_SOURCE 0 n r dm_block_data
LOCK2 &td->pmd->root_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 1 index 0-1073741822,u32max
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 index r lower_bound
BIT_INFO 0 n->header.flags 0x0,0xfffffffd
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock