Open Menu /

Defined in 1 files as a prototype:

Defined in 5 files as a member:

Defined in 1 files as a function:

Referenced in 13 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 key $2

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

Type Parameter Key Value
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 key $3
PREEMPT_ADD
USER_DATA 1 key 0-u64max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree.c contains_key() -> lower_bound()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->header.flags 2-u32max
CAPPED_DATA 0 n->header.max_entries 1
CAPPED_DATA 0 n->header.nr_entries 1
DATA_SOURCE 0 n $0
DATA_SOURCE 1 key $1
BIT_INFO 0 n->header.flags 0x2,0xffffffff
USER_DATA 1 key 0-u64max
HALF_LOCKED2 &td->pmd->root_lock

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

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

drivers/md/persistent-data/dm-space-map-common.c sm_ll_dec_overflow() -> lower_bound()

Type Parameter Key Value
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 key $1

drivers/md/persistent-data/dm-space-map-common.c sm_ll_inc_overflow() -> lower_bound()

Type Parameter Key Value
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 key $1

drivers/md/persistent-data/dm-btree-remove.c do_leaf() -> lower_bound()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->header.flags 2-u32max
DATA_SOURCE 0 n $0
DATA_SOURCE 1 key $1
BIT_INFO 0 n->header.flags 0x2,0xffffffff
USER_DATA 1 key 0-u64max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->header.nr_entries 0,2-u32max
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 key $3
USER_DATA 1 key 0-u64max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->header.flags 2-u32max
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 key $4
BIT_INFO 0 n->header.flags 0x2,0xffffffff
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_nearest() -> lower_bound()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->header.flags 2-u32max
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 key $4
BIT_INFO 0 n->header.flags 0x2,0xffffffff
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_nearest() -> lower_bound()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 key $4
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_raw() -> lower_bound()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
DATA_SOURCE 0 n r dm_block_data
DATA_SOURCE 1 key $4
BIT_INFO 0 n->header.flags 0x0,0xfffffffd
USER_DATA 1 key 0-u64max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

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

Type Parameter Key Value
DATA_SOURCE 1 key $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 key 0-u64max
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock