Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/persistent-data/dm-bitset.c dm_bitset_clear_bit() -> get_array_entry()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 3 new_root 4096-ptr_max
DATA_SOURCE 0 info $0
DATA_SOURCE 1 root $1
DATA_SOURCE 2 index $2
DATA_SOURCE 3 new_root $3

drivers/md/persistent-data/dm-bitset.c dm_bitset_set_bit() -> get_array_entry()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 3 new_root 4096-ptr_max
DATA_SOURCE 0 info $0
DATA_SOURCE 1 root $1
DATA_SOURCE 2 index $2
DATA_SOURCE 3 new_root $3
UNITS 2 index unit_byte
HALF_LOCKED2 &clone->commit_lock
HALF_LOCKED2 &cmd->lock

drivers/md/persistent-data/dm-bitset.c dm_bitset_test_bit() -> get_array_entry()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->array_info.btree_info.levels 0
PARAM_VALUE 0 info->array_info.btree_info.tm 4096-ptr_max
PARAM_VALUE 0 info->array_info.btree_info.value_type.size 0
PARAM_VALUE 0 info->array_info.value_type.size 0
PARAM_VALUE 0 info->current_bits 0
PARAM_VALUE 0 info->current_index 0
PARAM_VALUE 0 info->current_index_set 0
PARAM_VALUE 0 info->dirty 0
PARAM_VALUE 1 root 0
PARAM_VALUE 2 index 0
PARAM_VALUE 3 new_root 4096-ptr_max
PARAM_VALUE 3 *new_root 0
DATA_SOURCE 0 info $0
DATA_SOURCE 1 root $1
DATA_SOURCE 2 index $2
DATA_SOURCE 3 new_root $3
LOCK2 &pool->lock