Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-era-target.c writeset_marked_on_disk() -> dm_bitset_test_bit()

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
PARAM_VALUE 4 result 1583179164722143232
DATA_SOURCE 0 info $0
DATA_SOURCE 2 index $2
DATA_SOURCE 4 result $3
HALF_LOCKED2 &pool->lock