Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-pcache/cache.c pcache_cache_start() -> cache_init_req_keys()

Type Parameter Key Value
PARAM_VALUE 0 cache 4096-ptr_max
PARAM_VALUE 0 cache->cache_ctrl 4096-ptr_max
PARAM_VALUE 0 cache->cache_dev 4096-ptr_max
PARAM_VALUE 0 cache->cache_dev->seg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cache->cache_dev->seg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 cache->cache_info_addr 4096-ptr_max
PARAM_VALUE 0 cache->dirty_tail.cache_seg 4096-ptr_max
PARAM_VALUE 0 cache->dirty_tail.seg_off 0
PARAM_VALUE 0 cache->key_head.cache_seg 4096-ptr_max
PARAM_VALUE 0 cache->key_head.seg_off 0
PARAM_VALUE 0 cache->key_tail.cache_seg 4096-ptr_max
PARAM_VALUE 0 cache->key_tail.seg_off 0
BUF_SIZE 0 cache 12160
CAPPED_DATA 0 cache->cache_info.n_segs 1
PARAM_COMPARE 0 cache->cache_dev->seg_num >= $0->cache_info.n_segs
HALF_LOCKED2 &md->type_lock