Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-era-target.c do_work() -> process_rpc_calls()

Type Parameter Key Value
PARAM_VALUE 0 era 4096-ptr_max
PARAM_VALUE 0 era->deferred_bios.head 0
PARAM_VALUE 0 era->deferred_bios.tail 0
PARAM_VALUE 0 era->deferred_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 era->digest.current_bit 0
PARAM_VALUE 0 era->digest.info.array_info.btree_info.levels 0-1
PARAM_VALUE 0 era->digest.info.array_info.btree_info.tm->bm->bufio->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 era->digest.info.array_info.btree_info.tm->real->bm->bufio->need_reserved_buffers 0-4294967295
PARAM_VALUE 0 era->digest.info.array_info.btree_info.tm->real->prefetches.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 era->digest.info.array_info.btree_info.value_type.dec 0,2706716531669463040
PARAM_VALUE 0 era->digest.info.array_info.btree_info.value_type.equal 0,6118488563768561664
PARAM_VALUE 0 era->digest.info.array_info.btree_info.value_type.inc 0,4251253500904906752
PARAM_VALUE 0 era->digest.info.array_info.btree_info.value_type.size 0,8
PARAM_VALUE 0 era->digest.info.array_info.tm 0
PARAM_VALUE 0 era->digest.info.current_bits 0
PARAM_VALUE 0 era->digest.info.current_index 0
PARAM_VALUE 0 era->digest.info.current_index_set 0
PARAM_VALUE 0 era->digest.info.dirty 0
PARAM_VALUE 0 era->digest.step 0,6110364758675456,4761933218535211008,5896458705936015360
PARAM_VALUE 0 era->md 4096-ptr_max
PARAM_VALUE 0 era->md->archived_writesets 0
PARAM_VALUE 0 era->md->era_array_info.btree_info.tm->bm->bufio->cache.num_locks 0-4294967295
PARAM_VALUE 0 era->md->era_array_info.btree_info.tm->bm->bufio->lock.osq.tail.counter s32min-s32max
PARAM_VALUE 0 era->md->era_array_info.btree_info.tm->lock.rlock.dep_map->name 0-255
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 era->digest.info.array_info.btree_info.tm->real->bm->bufio->block_size
NO_OVERFLOW_SIMPLE 0 era->md->bitset_info.array_info.btree_info.tm->real->bm->bufio->block_size
NO_OVERFLOW_SIMPLE 0 era->md->bm->bufio->slab_buffer->object_size
NO_OVERFLOW_SIMPLE 0 era->md->era_array_info.btree_info.tm->bm->bufio->block_size
HALF_LOCKED2 &pool->lock