Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-cache-policy-smq.c sentinels_init() -> __sentinels_init()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 0 mq->cache_alloc.es 4096-ptr_max
PARAM_VALUE 0 mq->cache_alloc.es->begin 0-ptr_max
PARAM_VALUE 0 mq->cache_alloc.es->end 4097-ptr_max
PARAM_VALUE 0 mq->cache_alloc.nr_allocated 0
PARAM_VALUE 0 mq->cache_block_size 64-2097152
PARAM_VALUE 0 mq->cache_blocks_per_hotspot_block 0-524288
PARAM_VALUE 0 mq->cache_stats.hit_threshold 48
PARAM_VALUE 0 mq->cache_stats.hits 0
PARAM_VALUE 0 mq->cache_stats.misses 0
PARAM_VALUE 0 mq->clean->target_count 0
PARAM_VALUE 0 mq->clean.es 4096-ptr_max
PARAM_VALUE 0 mq->clean.es->end 4097-ptr_max
PARAM_VALUE 0 mq->clean.last_target_nr_elts 0
PARAM_VALUE 0 mq->clean.nr_elts 0
PARAM_VALUE 0 mq->clean.nr_in_top_levels 0
PARAM_VALUE 0 mq->clean.nr_levels 64
PARAM_VALUE 0 mq->clean.nr_top_levels 0
PARAM_VALUE 0 mq->current_demote_sentinels 0
PARAM_VALUE 0 mq->current_writeback_sentinels 0
PARAM_VALUE 0 mq->demote_sentinel_alloc.begin 128
PARAM_VALUE 0 mq->demote_sentinel_alloc.es 4096-ptr_max
PARAM_VALUE 0 mq->demote_sentinel_alloc.es->begin 0-ptr_max
PARAM_VALUE 0 mq->demote_sentinel_alloc.es->end 4097-ptr_max
PARAM_VALUE 0 mq->demote_sentinel_alloc.nr_allocated 0
PARAM_VALUE 0 mq->dirty->target_count 0
PARAM_VALUE 0 mq->dirty.es 4096-ptr_max
PARAM_VALUE 0 mq->dirty.es->end 4097-ptr_max
PARAM_VALUE 0 mq->dirty.last_target_nr_elts 0
PARAM_VALUE 0 mq->dirty.nr_elts 0
PARAM_VALUE 0 mq->dirty.nr_in_top_levels 0
PARAM_VALUE 0 mq->dirty.nr_levels 64
PARAM_VALUE 0 mq->dirty.nr_top_levels 0
PARAM_VALUE 0 mq->es.begin 0-ptr_max
PARAM_VALUE 0 mq->es.end 4097-ptr_max
PARAM_VALUE 0 mq->hotspot->target_count 0
PARAM_VALUE 0 mq->hotspot.es 4096-ptr_max
PARAM_VALUE 0 mq->hotspot.es->end 4097-ptr_max
PARAM_VALUE 0 mq->hotspot.last_target_nr_elts 0
PARAM_VALUE 0 mq->hotspot.nr_elts 0
PARAM_VALUE 0 mq->hotspot.nr_levels 64
PARAM_VALUE 0 mq->hotspot.nr_top_levels 8
PARAM_VALUE 0 mq->hotspot_alloc.begin 256
PARAM_VALUE 0 mq->hotspot_alloc.es 4096-ptr_max
PARAM_VALUE 0 mq->hotspot_alloc.es->begin 0-ptr_max
PARAM_VALUE 0 mq->hotspot_alloc.es->end 4097-ptr_max
PARAM_VALUE 0 mq->hotspot_alloc.nr_allocated 0
PARAM_VALUE 0 mq->hotspot_block_size 512-33554432
PARAM_VALUE 0 mq->hotspot_hit_bits 1-u64max
PARAM_VALUE 0 mq->hotspot_level_jump 1
PARAM_VALUE 0 mq->hotspot_stats.hit_threshold 48
PARAM_VALUE 0 mq->hotspot_stats.hits 0
PARAM_VALUE 0 mq->hotspot_stats.misses 0
PARAM_VALUE 0 mq->hotspot_table.buckets 1-u64max
PARAM_VALUE 0 mq->hotspot_table.es 4096-ptr_max
PARAM_VALUE 0 mq->hotspot_table.es->begin 0-ptr_max
PARAM_VALUE 0 mq->hotspot_table.es->end 4097-ptr_max
PARAM_VALUE 0 mq->policy.allow_migrations 3704064154161049600
PARAM_VALUE 0 mq->policy.clear_dirty 4244460836897513472
PARAM_VALUE 0 mq->policy.complete_background_work 4918066945103429632
PARAM_VALUE 0 mq->policy.destroy 8269023712637390848
PARAM_VALUE 0 mq->policy.emit_config_values 2156155537451261952
PARAM_VALUE 0 mq->policy.get_background_work 1695732800668676096
PARAM_VALUE 0 mq->policy.get_hint 7701891468056588288
PARAM_VALUE 0 mq->policy.invalidate_mapping 7885122102430908416
PARAM_VALUE 0 mq->policy.load_mapping 2328853706490396672
PARAM_VALUE 0 mq->policy.lookup 3616573705005715456
PARAM_VALUE 0 mq->policy.lookup_with_work 6084129314913730560
PARAM_VALUE 0 mq->policy.residency 4323141212884049920
PARAM_VALUE 0 mq->policy.set_config_value 1886084983669792768
PARAM_VALUE 0 mq->policy.set_dirty 2349899630630899712
PARAM_VALUE 0 mq->policy.tick 6426044619793137664
PARAM_VALUE 0 mq->table.buckets 1-u64max
PARAM_VALUE 0 mq->table.es 4096-ptr_max
PARAM_VALUE 0 mq->table.es->begin 0-ptr_max
PARAM_VALUE 0 mq->table.es->end 4097-ptr_max
PARAM_VALUE 0 mq->tick 0
PARAM_VALUE 0 mq->writeback_sentinel_alloc.begin 0
PARAM_VALUE 0 mq->writeback_sentinel_alloc.es 4096-ptr_max
PARAM_VALUE 0 mq->writeback_sentinel_alloc.es->end 4097-ptr_max
BUF_SIZE 0 mq 3720
CAPPED_DATA 0 mq->hotspot.nr_in_top_levels 1
DATA_SOURCE 0 mq $0
MEM_ZERO 0 mq->hotspot_hit_bits
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mq->cache_block_size
HALF_LOCKED2 &md->type_lock

drivers/md/dm-cache-policy-smq.c sentinels_init() -> __sentinels_init()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 0 mq->cache_alloc.es 4096-ptr_max
PARAM_VALUE 0 mq->cache_alloc.es->begin 0-ptr_max
PARAM_VALUE 0 mq->cache_alloc.es->end 4097-ptr_max
PARAM_VALUE 0 mq->cache_alloc.nr_allocated 0
PARAM_VALUE 0 mq->cache_block_size 64-2097152
PARAM_VALUE 0 mq->cache_blocks_per_hotspot_block 0-524288
PARAM_VALUE 0 mq->cache_stats.hit_threshold 48
PARAM_VALUE 0 mq->cache_stats.hits 0
PARAM_VALUE 0 mq->cache_stats.misses 0
PARAM_VALUE 0 mq->clean->target_count 0
PARAM_VALUE 0 mq->clean.es 4096-ptr_max
PARAM_VALUE 0 mq->clean.es->begin 0-ptr_max
PARAM_VALUE 0 mq->clean.es->end 4097-ptr_max
PARAM_VALUE 0 mq->clean.last_target_nr_elts 0
PARAM_VALUE 0 mq->clean.nr_in_top_levels 0
PARAM_VALUE 0 mq->clean.nr_levels 64
PARAM_VALUE 0 mq->clean.nr_top_levels 0
PARAM_VALUE 0 mq->demote_sentinel_alloc.begin 128
PARAM_VALUE 0 mq->demote_sentinel_alloc.es 4096-ptr_max
PARAM_VALUE 0 mq->demote_sentinel_alloc.es->begin 0-ptr_max
PARAM_VALUE 0 mq->demote_sentinel_alloc.es->end 4097-ptr_max
PARAM_VALUE 0 mq->demote_sentinel_alloc.nr_allocated 0
PARAM_VALUE 0 mq->dirty->target_count 0
PARAM_VALUE 0 mq->dirty.es 4096-ptr_max
PARAM_VALUE 0 mq->dirty.es->begin 0-ptr_max
PARAM_VALUE 0 mq->dirty.es->end 4097-ptr_max
PARAM_VALUE 0 mq->dirty.last_target_nr_elts 0
PARAM_VALUE 0 mq->dirty.nr_in_top_levels 0
PARAM_VALUE 0 mq->dirty.nr_levels 64
PARAM_VALUE 0 mq->dirty.nr_top_levels 0
PARAM_VALUE 0 mq->es.begin 0-ptr_max
PARAM_VALUE 0 mq->es.end 4097-ptr_max
PARAM_VALUE 0 mq->hotspot->target_count 0
PARAM_VALUE 0 mq->hotspot.es 4096-ptr_max
PARAM_VALUE 0 mq->hotspot.es->end 4097-ptr_max
PARAM_VALUE 0 mq->hotspot.last_target_nr_elts 0
PARAM_VALUE 0 mq->hotspot.nr_elts 0
PARAM_VALUE 0 mq->hotspot.nr_levels 64
PARAM_VALUE 0 mq->hotspot.nr_top_levels 8
PARAM_VALUE 0 mq->hotspot_alloc.begin 256
PARAM_VALUE 0 mq->hotspot_alloc.es 4096-ptr_max
PARAM_VALUE 0 mq->hotspot_alloc.es->begin 0-ptr_max
PARAM_VALUE 0 mq->hotspot_alloc.es->end 4097-ptr_max
PARAM_VALUE 0 mq->hotspot_alloc.nr_allocated 0
PARAM_VALUE 0 mq->hotspot_block_size 512-33554432
PARAM_VALUE 0 mq->hotspot_hit_bits 1-u64max
PARAM_VALUE 0 mq->hotspot_level_jump 1
PARAM_VALUE 0 mq->hotspot_stats.hit_threshold 48
PARAM_VALUE 0 mq->hotspot_stats.hits 0
PARAM_VALUE 0 mq->hotspot_stats.misses 0
PARAM_VALUE 0 mq->hotspot_table.buckets 1-u64max
PARAM_VALUE 0 mq->hotspot_table.es 4096-ptr_max
PARAM_VALUE 0 mq->hotspot_table.es->begin 0-ptr_max
PARAM_VALUE 0 mq->hotspot_table.es->end 4097-ptr_max
PARAM_VALUE 0 mq->policy.allow_migrations 3704064154161049600
PARAM_VALUE 0 mq->policy.clear_dirty 4244460836897513472
PARAM_VALUE 0 mq->policy.complete_background_work 4918066945103429632
PARAM_VALUE 0 mq->policy.destroy 8269023712637390848
PARAM_VALUE 0 mq->policy.emit_config_values 2156155537451261952
PARAM_VALUE 0 mq->policy.get_background_work 1695732800668676096
PARAM_VALUE 0 mq->policy.get_hint 7701891468056588288
PARAM_VALUE 0 mq->policy.invalidate_mapping 7885122102430908416
PARAM_VALUE 0 mq->policy.load_mapping 2328853706490396672
PARAM_VALUE 0 mq->policy.lookup 3616573705005715456
PARAM_VALUE 0 mq->policy.lookup_with_work 6084129314913730560
PARAM_VALUE 0 mq->policy.residency 4323141212884049920
PARAM_VALUE 0 mq->policy.set_config_value 1886084983669792768
PARAM_VALUE 0 mq->policy.set_dirty 2349899630630899712
PARAM_VALUE 0 mq->policy.tick 6426044619793137664
PARAM_VALUE 0 mq->table.buckets 1-u64max
PARAM_VALUE 0 mq->table.es 4096-ptr_max
PARAM_VALUE 0 mq->table.es->begin 0-ptr_max
PARAM_VALUE 0 mq->table.es->end 4097-ptr_max
PARAM_VALUE 0 mq->tick 0
PARAM_VALUE 0 mq->writeback_sentinel_alloc.begin 0
PARAM_VALUE 0 mq->writeback_sentinel_alloc.es 4096-ptr_max
PARAM_VALUE 0 mq->writeback_sentinel_alloc.es->end 4097-ptr_max
BUF_SIZE 0 mq 3720
CAPPED_DATA 0 mq->clean.es->begin 1
CAPPED_DATA 0 mq->dirty.es->begin 1
CAPPED_DATA 0 mq->hotspot.nr_in_top_levels 1
DATA_SOURCE 0 mq $0
PARAM_COMPARE 0 mq->clean.es->begin < $0->clean.es->end
PARAM_COMPARE 0 mq->dirty.es->begin < $0->dirty.es->end
MEM_ZERO 0 mq->hotspot_hit_bits
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mq->cache_block_size
HALF_LOCKED2 &md->type_lock