Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/null_blk/main.c null_add_dev() -> nullb_setup_bwtimer()

Type Parameter Key Value
PARAM_VALUE 0 nullb 4096-ptr_max
PARAM_VALUE 0 nullb->dev 4096-ptr_max
PARAM_VALUE 0 nullb->dev->blocking 1
PARAM_VALUE 0 nullb->dev->cache_size 0
PARAM_VALUE 0 nullb->dev->irqmode 0-2
PARAM_VALUE 0 nullb->dev->mbps 1-40960
PARAM_VALUE 0 nullb->dev->queue_mode 2-u32max
PARAM_VALUE 0 nullb->disk 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bdi 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bdi->capabilities 1
PARAM_VALUE 0 nullb->disk->bdi->cgwb_release_mutex.dep_map->name 0-255
PARAM_VALUE 0 nullb->disk->bdi->cgwb_tree.xa_flags 2080
PARAM_VALUE 0 nullb->disk->bdi->io_pages 32
PARAM_VALUE 0 nullb->disk->bdi->max_prop_frac 1024
PARAM_VALUE 0 nullb->disk->bdi->max_ratio 1000000
PARAM_VALUE 0 nullb->disk->bdi->ra_pages 32
PARAM_VALUE 0 nullb->disk->bdi->refcnt.refcount.refs.counter 1
PARAM_VALUE 0 nullb->disk->bdi->wb.avg_write_bandwidth 25600
PARAM_VALUE 0 nullb->disk->bdi->wb.balanced_dirty_ratelimit 25600
PARAM_VALUE 0 nullb->disk->bdi->wb.completions.lock.magic 3735899821
PARAM_VALUE 0 nullb->disk->bdi->wb.completions.lock.owner (-1)
PARAM_VALUE 0 nullb->disk->bdi->wb.completions.lock.owner_cpu 4294967295
PARAM_VALUE 0 nullb->disk->bdi->wb.dirty_ratelimit 25600
PARAM_VALUE 0 nullb->disk->bdi->wb.write_bandwidth 25600
PARAM_VALUE 0 nullb->disk->bdi->wb_switch_rwsem.dep_map->name 0-255
PARAM_VALUE 0 nullb->disk->bio_split.back_pad 0,64
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.elements 1-u64max
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.free 8263660038527102976
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.min_nr 2
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.bio_slab 1-u64max
PARAM_VALUE 0 nullb->disk->bio_split.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 nullb->disk->bio_split.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 nullb->disk->bio_split.bvec_pool.elements 1-u64max
PARAM_VALUE 0 nullb->disk->bio_split.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 nullb->disk->bio_split.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.cache 0,4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->bio_split.front_pad 0
PARAM_VALUE 0 nullb->disk->bio_split.rescue_list.head 0
PARAM_VALUE 0 nullb->disk->bio_split.rescue_list.tail 0
PARAM_VALUE 0 nullb->disk->bio_split.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 nullb->disk->error_injection_list.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->error_injection_list.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->error_injection_list.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->error_injection_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->error_injection_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->error_injection_lock.dep_map->name 0-255
PARAM_VALUE 0 nullb->disk->error_injection_lock.magic 4096-ptr_max
PARAM_VALUE 0 nullb->disk->lockdep_map.cpu 0
PARAM_VALUE 0 nullb->disk->lockdep_map.lock_type 0
PARAM_VALUE 0 nullb->disk->open_mutex.dep_map->name 0-255
PARAM_VALUE 0 nullb->disk->open_mutex.first_waiter 0
PARAM_VALUE 0 nullb->disk->open_mutex.magic 4096-ptr_max
PARAM_VALUE 0 nullb->disk->open_mutex.owner.counter 0
PARAM_VALUE 0 nullb->disk->part0 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.devres_head.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.flags 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 nullb->disk->part0->bd_device.kobj.ktype 5399513539053756416
PARAM_VALUE 0 nullb->disk->part0->bd_device.kobj.state_initialized 1
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.numa_node (-1)
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.disable_depth 1
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.early_init 1
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.entry.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.last_status (-1)
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.runtime_auto 1
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.runtime_status 2
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_device.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_disk 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_fsfreeze_mutex.dep_map->name 0-255
PARAM_VALUE 0 nullb->disk->part0->bd_fsfreeze_mutex.magic 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_holder_lock.dep_map->name 0-255
PARAM_VALUE 0 nullb->disk->part0->bd_holder_lock.magic 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_mapping 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_mapping->a_ops 5931361204064923648
PARAM_VALUE 0 nullb->disk->part0->bd_mapping->gfp_mask 1051840
PARAM_VALUE 0 nullb->disk->part0->bd_mapping->host 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_mapping->invalidate_lock.magic 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_queue 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part0->bd_stats 4096-ptr_max
PARAM_VALUE 0 nullb->disk->part_tbl.xa_flags 0
PARAM_VALUE 0 nullb->disk->part_tbl.xa_head 0
PARAM_VALUE 0 nullb->disk->part_tbl.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nullb->disk->queue 4096-ptr_max
PARAM_VALUE 0 nullb->disk->queue->blkg_list.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->queue->blkg_list.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->queue->blkg_list.next->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->queue->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nullb->disk->queue->root_blkg 4096-ptr_max
PARAM_VALUE 0 nullb->disk->queue->root_blkg->online 1
PARAM_VALUE 0 nullb->disk->queue->root_blkg->refcnt.percpu_count_ptr 4096-s64max
PARAM_VALUE 0 nullb->disk->queue_kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 nullb->disk->queue_kobj.ktype 8941777688397746176
PARAM_VALUE 0 nullb->disk->queue_kobj.state_in_sysfs 0
PARAM_VALUE 0 nullb->disk->queue_kobj.state_initialized 1
PARAM_VALUE 0 nullb->disk->random 4096-ptr_max
PARAM_VALUE 0 nullb->disk->random->last_time 4294892296
PARAM_VALUE 0 nullb->disk->rqos_state_mutex.dep_map->name 0-255
PARAM_VALUE 0 nullb->disk->rqos_state_mutex.magic 4096-ptr_max
PARAM_VALUE 0 nullb->disk->slave_bdevs.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->slave_bdevs.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->slave_bdevs.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->slave_bdevs.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->slave_bdevs.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->zone_wplugs_list.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->zone_wplugs_list.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->zone_wplugs_list.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->zone_wplugs_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->zone_wplugs_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->zone_wplugs_worker_bio_done.wait.lock.magic 3735899821
PARAM_VALUE 0 nullb->disk->zone_wplugs_worker_bio_done.wait.lock.owner (-1)
PARAM_VALUE 0 nullb->disk->zone_wplugs_worker_bio_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 nullb->disk->zone_wplugs_worker_bio_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->zone_wplugs_worker_bio_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->zone_wplugs_worker_bio_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 nullb->disk->zone_wplugs_worker_bio_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->disk->zone_wplugs_worker_bio_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 nullb->q 4096-ptr_max
PARAM_VALUE 0 nullb->q->blkg_list.next 4096-ptr_max
PARAM_VALUE 0 nullb->q->root_blkg 4096-ptr_max
PARAM_VALUE 0 nullb->queues 16,4096-ptr_max
PARAM_VALUE 0 nullb->tag_set 4096-ptr_max
PARAM_VALUE 0 nullb->tag_set->cmd_size 0,96
PARAM_VALUE 0 nullb->tag_set->driver_data 0,4096-ptr_max
PARAM_VALUE 0 nullb->tag_set->nr_maps 0-1,3
PARAM_VALUE 0 nullb->tag_set->ops 0,3402364176816754688
PARAM_VALUE 0 nullb->tag_set->srcu 0,4096-ptr_max
PARAM_VALUE 0 nullb->tag_set->tag_list.prev 4096-ptr_max
PARAM_VALUE 0 nullb->tag_set->tag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nullb->tag_set->tag_list_lock.dep_map->name 0-255
PARAM_VALUE 0 nullb->tag_set->tag_list_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 nullb->tag_set->tag_list_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 nullb->tag_set->tag_list_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 nullb->tag_set->tag_list_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 nullb->tag_set->tag_list_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 nullb->tag_set->tag_list_lock.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 nullb->tag_set->tag_list_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 nullb->tag_set->tag_list_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 nullb->tag_set->tags_srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 nullb->tag_set->tags_srcu.srcu_sup 4096-ptr_max
PARAM_VALUE 0 nullb->tag_set->tags_srcu.srcu_sup->sda_is_static 1
PARAM_VALUE 0 nullb->tag_set->timeout 0,1250
BUF_SIZE 0 nullb 792
BUF_SIZE 0 nullb->dev (-1),1776
BUF_SIZE 0 nullb->disk 2000
CAPPED_DATA 0 nullb->disk->part0 1
CAPPED_DATA 0 nullb->tag_set 1
CAPPED_DATA 0 nullb->tag_set->nr_hw_queues 1
DATA_SOURCE 0 nullb r _kmalloc_node_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 nullb->disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 nullb->disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 nullb->disk->part0->bd_queue->async_depth
NO_OVERFLOW_SIMPLE 0 nullb->disk->part0->bd_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 nullb->disk->part0->bd_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 nullb->disk->part0->bd_queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 nullb->disk->part0->bd_queue->nr_requests
NO_OVERFLOW_SIMPLE 0 nullb->disk->queue->async_depth
NO_OVERFLOW_SIMPLE 0 nullb->disk->queue->nr_requests
NO_OVERFLOW_SIMPLE 0 nullb->q->async_depth
NO_OVERFLOW_SIMPLE 0 nullb->q->nr_requests
NO_OVERFLOW_SIMPLE 0 nullb->tag_set->shared_tags->bitmap_tags.sb.depth
NO_OVERFLOW_SIMPLE 0 nullb->tag_set->shared_tags->breserved_tags.sb.depth
LOCK2 global &lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem