Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

block/genhd.c __alloc_disk_node() -> disk_init_zone_resources()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->bdi 4096-ptr_max
PARAM_VALUE 0 disk->bdi->capabilities 1
PARAM_VALUE 0 disk->bdi->cgwb_release_mutex.dep_map->name 0-255
PARAM_VALUE 0 disk->bdi->cgwb_release_mutex.magic 4096-ptr_max
PARAM_VALUE 0 disk->bdi->cgwb_tree.xa_flags 2080
PARAM_VALUE 0 disk->bdi->cgwb_tree.xa_head 0
PARAM_VALUE 0 disk->bdi->dev 0
PARAM_VALUE 0 disk->bdi->io_pages 32
PARAM_VALUE 0 disk->bdi->max_prop_frac 1024
PARAM_VALUE 0 disk->bdi->max_ratio 1000000
PARAM_VALUE 0 disk->bdi->min_ratio 0
PARAM_VALUE 0 disk->bdi->ra_pages 32
PARAM_VALUE 0 disk->bdi->refcnt.refcount.refs.counter 1
PARAM_VALUE 0 disk->bdi->wb.avg_write_bandwidth 25600
PARAM_VALUE 0 disk->bdi->wb.b_attached.next 0
PARAM_VALUE 0 disk->bdi->wb.b_attached.prev 0
PARAM_VALUE 0 disk->bdi->wb.b_dirty.next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_dirty.next->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_dirty.prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_dirty.prev->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_dirty.prev->prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_dirty_time.next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_dirty_time.next->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_dirty_time.prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_dirty_time.prev->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_dirty_time.prev->prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_io.next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_io.next->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_io.prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_io.prev->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_io.prev->prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_more_io.next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_more_io.next->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_more_io.prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_more_io.prev->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.b_more_io.prev->prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.balanced_dirty_ratelimit 25600
PARAM_VALUE 0 disk->bdi->wb.bdi 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.bdi_node.next 0
PARAM_VALUE 0 disk->bdi->wb.bdi_node.prev 0
PARAM_VALUE 0 disk->bdi->wb.blkcg_node.next 0
PARAM_VALUE 0 disk->bdi->wb.blkcg_node.prev 0
PARAM_VALUE 0 disk->bdi->wb.bw_dwork.cpu 0
PARAM_VALUE 0 disk->bdi->wb.bw_dwork.timer.entry.next 0
PARAM_VALUE 0 disk->bdi->wb.bw_dwork.timer.expires 0
PARAM_VALUE 0 disk->bdi->wb.bw_dwork.timer.flags 0
PARAM_VALUE 0 disk->bdi->wb.bw_dwork.timer.function 0
PARAM_VALUE 0 disk->bdi->wb.bw_dwork.work.entry.next 0
PARAM_VALUE 0 disk->bdi->wb.bw_dwork.work.entry.prev 0
PARAM_VALUE 0 disk->bdi->wb.bw_dwork.work.func 0
PARAM_VALUE 0 disk->bdi->wb.bw_dwork.wq 0
PARAM_VALUE 0 disk->bdi->wb.completions.events.count 0
PARAM_VALUE 0 disk->bdi->wb.completions.lock.magic 3735899821
PARAM_VALUE 0 disk->bdi->wb.completions.lock.owner (-1)
PARAM_VALUE 0 disk->bdi->wb.completions.lock.owner_cpu u32max
PARAM_VALUE 0 disk->bdi->wb.completions.period 0
PARAM_VALUE 0 disk->bdi->wb.dirtied_stamp 0
PARAM_VALUE 0 disk->bdi->wb.dirty_exceeded 0
PARAM_VALUE 0 disk->bdi->wb.dirty_ratelimit 25600
PARAM_VALUE 0 disk->bdi->wb.dwork.cpu 0
PARAM_VALUE 0 disk->bdi->wb.dwork.timer.entry.next 0
PARAM_VALUE 0 disk->bdi->wb.dwork.timer.entry.pprev 0
PARAM_VALUE 0 disk->bdi->wb.dwork.timer.expires 0
PARAM_VALUE 0 disk->bdi->wb.dwork.timer.flags 0
PARAM_VALUE 0 disk->bdi->wb.dwork.timer.function 0
PARAM_VALUE 0 disk->bdi->wb.dwork.work.data.counter 0
PARAM_VALUE 0 disk->bdi->wb.dwork.work.entry.next 0
PARAM_VALUE 0 disk->bdi->wb.dwork.work.entry.prev 0
PARAM_VALUE 0 disk->bdi->wb.dwork.work.func 0
PARAM_VALUE 0 disk->bdi->wb.dwork.wq 0
PARAM_VALUE 0 disk->bdi->wb.memcg_completions.period 0
PARAM_VALUE 0 disk->bdi->wb.memcg_css 0,4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.memcg_node.next 0
PARAM_VALUE 0 disk->bdi->wb.memcg_node.prev 0
PARAM_VALUE 0 disk->bdi->wb.offline_node.next 0
PARAM_VALUE 0 disk->bdi->wb.offline_node.prev 0
PARAM_VALUE 0 disk->bdi->wb.rcu.func 0
PARAM_VALUE 0 disk->bdi->wb.rcu.next 0
PARAM_VALUE 0 disk->bdi->wb.refcnt.data 0
PARAM_VALUE 0 disk->bdi->wb.refcnt.percpu_count_ptr 0
PARAM_VALUE 0 disk->bdi->wb.release_work.data.counter 0
PARAM_VALUE 0 disk->bdi->wb.release_work.entry.next 0
PARAM_VALUE 0 disk->bdi->wb.release_work.entry.prev 0
PARAM_VALUE 0 disk->bdi->wb.release_work.func 0
PARAM_VALUE 0 disk->bdi->wb.start_all_reason 0
PARAM_VALUE 0 disk->bdi->wb.state 0
PARAM_VALUE 0 disk->bdi->wb.switch_wbs_ctxs.first 0
PARAM_VALUE 0 disk->bdi->wb.switch_work.func 0
PARAM_VALUE 0 disk->bdi->wb.work_list.next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.work_list.next->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.work_list.prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.work_list.prev->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.work_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb.write_bandwidth 25600
PARAM_VALUE 0 disk->bdi->wb.writeback_inodes.counter 0
PARAM_VALUE 0 disk->bdi->wb.written_stamp 0
PARAM_VALUE 0 disk->bdi->wb_switch_rwsem.dep_map->name 0-255
PARAM_VALUE 0 disk->bdi->wb_switch_rwsem.first_waiter 0
PARAM_VALUE 0 disk->bdi->wb_switch_rwsem.magic 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb_waitq.head.next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb_waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb_waitq.head.prev 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb_waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 disk->bdi->wb_waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.back_pad 0,64
PARAM_VALUE 0 disk->bio_split.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 disk->bio_split.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 disk->bio_split.bio_pool.elements 1-u64max
PARAM_VALUE 0 disk->bio_split.bio_pool.free 8263660038527102976
PARAM_VALUE 0 disk->bio_split.bio_pool.min_nr 2
PARAM_VALUE 0 disk->bio_split.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 disk->bio_split.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bio_slab 1-u64max
PARAM_VALUE 0 disk->bio_split.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 disk->bio_split.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 disk->bio_split.bvec_pool.elements 1-u64max
PARAM_VALUE 0 disk->bio_split.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 disk->bio_split.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.cache 0,4096-ptr_max
PARAM_VALUE 0 disk->bio_split.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 disk->bio_split.front_pad 0
PARAM_VALUE 0 disk->bio_split.rescue_list.head 0
PARAM_VALUE 0 disk->bio_split.rescue_list.tail 0
PARAM_VALUE 0 disk->bio_split.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 disk->open_mutex.dep_map->name 0-255
PARAM_VALUE 0 disk->open_mutex.first_waiter 0
PARAM_VALUE 0 disk->open_mutex.magic 4096-ptr_max
PARAM_VALUE 0 disk->open_mutex.osq.tail.counter 0
PARAM_VALUE 0 disk->open_mutex.owner.counter 0
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_disk 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_fsfreeze_mutex.dep_map->name 0-255
PARAM_VALUE 0 disk->part0->bd_fsfreeze_mutex.magic 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_holder_lock.dep_map->name 0-255
PARAM_VALUE 0 disk->part0->bd_holder_lock.magic 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_mapping 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_mapping->a_ops 5931361204064923648
PARAM_VALUE 0 disk->part0->bd_mapping->gfp_mask 1051840
PARAM_VALUE 0 disk->part0->bd_mapping->host 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_mapping->invalidate_lock.magic 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_queue 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_stats 4096-ptr_max
PARAM_VALUE 0 disk->part_tbl.xa_flags 0
PARAM_VALUE 0 disk->part_tbl.xa_head 0
PARAM_VALUE 0 disk->part_tbl.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 disk->queue 4096-ptr_max
PARAM_VALUE 0 disk->queue->blkg_list.next 4096-ptr_max
PARAM_VALUE 0 disk->queue->blkg_list.next->next 4096-ptr_max
PARAM_VALUE 0 disk->queue->blkg_list.next->prev 4096-ptr_max
PARAM_VALUE 0 disk->queue->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 disk->queue->root_blkg 4096-ptr_max
PARAM_VALUE 0 disk->queue->root_blkg->blkcg 4096-ptr_max
PARAM_VALUE 0 disk->queue->root_blkg->blkcg_node.pprev 4096-ptr_max
PARAM_VALUE 0 disk->queue->root_blkg->iostat.blkg 4096-ptr_max
PARAM_VALUE 0 disk->queue->root_blkg->iostat_cpu 4096-ptr_max
PARAM_VALUE 0 disk->queue->root_blkg->online 1
PARAM_VALUE 0 disk->queue->root_blkg->q 4096-ptr_max
PARAM_VALUE 0 disk->queue->root_blkg->q_node.next 4096-ptr_max
PARAM_VALUE 0 disk->queue->root_blkg->q_node.prev 4096-ptr_max
PARAM_VALUE 0 disk->queue->root_blkg->refcnt.data 4096-ptr_max
PARAM_VALUE 0 disk->queue->root_blkg->refcnt.percpu_count_ptr 4096-18446744073709547523
BUF_SIZE 0 disk 2000
BUF_SIZE 0 disk->bdi 2552
BUF_SIZE 0 disk->part0 2136
BUF_SIZE 0 disk->part0->bd_disk 2000
CAPPED_DATA 0 disk->part0 1
DATA_SOURCE 0 disk r _kmalloc_node_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 disk->part0->bd_queue->async_depth 0-10238[c]
HOST_DATA 0 disk->part0->bd_queue->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 disk->part0->bd_queue->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 disk->part0->bd_queue->limits.io_min 512-65536[c]
HOST_DATA 0 disk->part0->bd_queue->limits.max_active_zones 0-u32max
HOST_DATA 0 disk->part0->bd_queue->limits.max_open_zones 0-u32max
HOST_DATA 0 disk->part0->bd_queue->limits.max_sectors 0-s32max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 disk->part0->bd_queue->nr_requests 0-10238[c]
HOST_DATA 0 disk->queue->async_depth 0-10238[c]
HOST_DATA 0 disk->queue->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 disk->queue->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 disk->queue->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 disk->queue->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 disk->queue->limits.io_min 512-65536[c]
HOST_DATA 0 disk->queue->limits.max_active_zones 0-u32max
HOST_DATA 0 disk->queue->limits.max_open_zones 0-u32max
HOST_DATA 0 disk->queue->limits.max_sectors 0-s32max[c]
HOST_DATA 0 disk->queue->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 disk->queue->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 disk->queue->nr_requests 0-10238[c]
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->async_depth
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->nr_requests
NO_OVERFLOW_SIMPLE 0 disk->queue->async_depth
NO_OVERFLOW_SIMPLE 0 disk->queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 disk->queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 disk->queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 disk->queue->nr_requests