disk_set_zones_cond_array identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

block/blk-zoned.c, line 1966 (as a function)

Referenced in 1 files:

block/blk-zoned.c
- line 1991
- line 2082

Smatch caller information:

block/blk-zoned.c disk_free_zone_resources() -> disk_set_zones_cond_array()

Type	Parameter	Key	Value
PARAM_VALUE	0	disk	4096-ptr_max
PARAM_VALUE	0	disk->queue	4096-ptr_max
PARAM_VALUE	0	disk->queue->debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	disk->queue->debugfs_dir->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	disk->queue->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	disk->queue->mq_ops	0-1
PARAM_VALUE	0	disk->random->last_time	0-s64max
PARAM_VALUE	0	disk->zone_wplugs_hash	0
PARAM_VALUE	0	disk->zone_wplugs_worker	0
PARAM_VALUE	0	disk->zone_wplugs_wq	0,4096-ptr_max
PARAM_VALUE	0	disk->zone_wplugs_wq->flags	0-4294967295
PARAM_VALUE	0	disk->zone_wplugs_wq->flush_color	s32min-s32max
PARAM_VALUE	0	disk->zone_wplugs_wq->nr_drainers	s32min-s32max
PARAM_VALUE	0	disk->zone_wplugs_wq->nr_pwqs_to_flush.counter	s32min-s32max
PARAM_VALUE	0	disk->zone_wplugs_wq->work_color	s32min-s32max
PARAM_VALUE	1	zones_cond	0
BUF_SIZE	0	disk	(-1),2000
BUF_SIZE	0	disk	(-1),2000
BUF_SIZE	0	disk->fops	(-1),144
BUF_SIZE	0	disk->private_data	(-1),816,1008-s32max
CAPPED_DATA	0	&disk->zone_wplugs_list	1
DATA_SOURCE	0	disk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	disk->part0->bd_nr_sectors	1-18014398509481983
HOST_DATA	0	disk->part0->bd_queue->async_depth	1-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	1-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]
HOST_DATA	0	disk->zone_wplugs_hash_bits	1-8[c]
HOST_DATA	0	disk->zone_wplugs_pool->min_nr	1-s32max[c]
NO_OVERFLOW_SIMPLE	0	disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	disk->bio_split.bvec_pool.min_nr
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->limits.max_discard_sectors
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
NO_OVERFLOW_SIMPLE	0	disk->zone_wplugs_pool->curr_nr
NO_OVERFLOW_SIMPLE	0	disk->zone_wplugs_pool->min_nr

block/blk-zoned.c disk_update_zone_resources() -> disk_set_zones_cond_array()

Type	Parameter	Key	Value
PARAM_VALUE	0	disk	4096-ptr_max
PARAM_VALUE	0	disk->fops	4096-ptr_max
PARAM_VALUE	0	disk->last_zone_capacity	0
PARAM_VALUE	0	disk->nr_zones	1-4000000
PARAM_VALUE	0	disk->part0	4096-ptr_max
PARAM_VALUE	0	disk->queue	4096-ptr_max
PARAM_VALUE	0	disk->queue->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	disk->queue->limits_lock.dep_map->name	0-255
PARAM_VALUE	0	disk->queue->limits_lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	disk->queue->limits_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	disk->queue->limits_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	disk->queue->mq_freeze_lock.dep_map->name	0-255
PARAM_VALUE	0	disk->queue->mq_freeze_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	disk->queue->mq_freeze_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	disk->queue->mq_freeze_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	disk->queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	disk->queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	disk->queue->mq_freeze_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	disk->queue->mq_freeze_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	disk->queue->mq_freeze_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	disk->queue->mq_freeze_owner	1-u64max
PARAM_VALUE	0	disk->queue->mq_ops	0-1
PARAM_VALUE	0	disk->queue->q_usage_counter.data	0,4096-ptr_max
PARAM_VALUE	0	disk->queue->q_usage_counter.data->rcu.func	1-u64max
PARAM_VALUE	0	disk->queue->q_usage_counter.percpu_count_ptr	1-u64max
PARAM_VALUE	0	disk->random->last_time	0-s64max
PARAM_VALUE	0	disk->zone_capacity	0
PARAM_VALUE	1	zones_cond	16,4096-ptr_max
BUF_SIZE	0	disk	(-1),2000
BUF_SIZE	0	disk	(-1),2000
BUF_SIZE	0	disk->fops	(-1),144
BUF_SIZE	0	disk->private_data	(-1),816,1008-s32max
BUF_SIZE	1	zones_cond	1-s32max
DATA_SOURCE	0	disk	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	disk->part0->bd_queue->async_depth	1-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	1-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]
HOST_DATA	0	disk->zone_wplugs_hash_bits	1-8[c]
HOST_DATA	0	disk->zone_wplugs_pool->min_nr	1-s32max[c]
NO_OVERFLOW_SIMPLE	0	disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	disk->bio_split.bvec_pool.min_nr
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->limits.max_discard_sectors
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
NO_OVERFLOW_SIMPLE	0	disk->zone_wplugs_pool->min_nr
LOCK2		&q->limits_lock
HALF_LOCKED2		&ub->mutex
HALF_LOCKED2		global &lock
TYPE_LOCK		(struct request_queue)->limits_lock