Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/block/null_blk/zoned.c null_report_zones() -> disk_report_zone()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->fops 4096-ptr_max
PARAM_VALUE 0 disk->fops->report_zones 0,4096-ptr_max
PARAM_VALUE 0 disk->private_data 4096-ptr_max
PARAM_VALUE 0 disk->random->last_time 0-s64max
PARAM_VALUE 1 zone 7573879095723823104
PARAM_VALUE 1 zone->capacity 0-u32max
PARAM_VALUE 1 zone->len 0-u32max
PARAM_VALUE 2 idx 0-4294967294
PARAM_VALUE 3 args 0,1110972585949810688,3281133120743972864,4558383600764575744,8281394250013528064
PARAM_VALUE 3 args->report_active 0-1
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 2 idx 1
DATA_SOURCE 0 disk $0
DATA_SOURCE 3 args $3
MEM_ZERO 1 zone
RX_PATH
TASK_NOT_RUNNING
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]
HOST_DATA 3 args->data->capacity s64min-s64max
HOST_DATA 3 args->data->last_zone_capacity 1-s32max[c]
HOST_DATA 3 args->data->sbi->unusable_blocks_per_sec 0-4294967295[c]
HOST_DATA 3 args->data->start s64min-s64max
HOST_DATA 3 args->data->wp s64min-s64max
HOST_DATA 3 args->data->wp_block 0-4294967295
HOST_DATA 3 args->data->zone_capacity 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
HALF_LOCKED2 &pool->lock

drivers/block/zloop.c zloop_report_zones() -> disk_report_zone()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->fops 4096-ptr_max
PARAM_VALUE 0 disk->fops->report_zones 0,4096-ptr_max
PARAM_VALUE 0 disk->private_data 4096-ptr_max
PARAM_VALUE 0 disk->random->last_time 0-s64max
PARAM_VALUE 1 zone 5914557631628431360
PARAM_VALUE 1 zone->cond 0-4,14
PARAM_VALUE 1 zone->non_seq 0
PARAM_VALUE 1 zone->reset 0
PARAM_VALUE 1 zone->type 1-2
PARAM_VALUE 3 args 0,1110972585949810688,3281133120743972864,4558383600764575744,8281394250013528064
PARAM_VALUE 3 args->report_active 0-1
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 2 idx 1
DATA_SOURCE 0 disk $0
DATA_SOURCE 3 args $3
RX_PATH
TASK_NOT_RUNNING
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]
HOST_DATA 3 args->data->capacity s64min-s64max
HOST_DATA 3 args->data->last_zone_capacity 1-s32max[c]
HOST_DATA 3 args->data->sbi->unusable_blocks_per_sec 0-4294967295[c]
HOST_DATA 3 args->data->start s64min-s64max
HOST_DATA 3 args->data->wp s64min-s64max
HOST_DATA 3 args->data->wp_block 0-4294967295
HOST_DATA 3 args->data->zone_capacity 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
HALF_LOCKED2 &pool->lock

drivers/md/dm-zone.c dm_report_zones_cb() -> disk_report_zone()

Type Parameter Key Value
PARAM_VALUE 1 zone 4096-ptr_max
DATA_SOURCE 1 zone $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 zone->capacity 0-u64max
HOST_DATA 1 zone->start 0-s32max[c]
HOST_DATA 1 zone->wp 0-u64max
NO_OVERFLOW_SIMPLE 1 zone->len
NO_OVERFLOW_SIMPLE 1 zone->start
NO_OVERFLOW_SIMPLE 1 zone->wp
HALF_LOCKED2 &vblk->vdev_mutex

drivers/scsi/sd_zbc.c sd_zbc_parse_report() -> disk_report_zone()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->queue 4096-ptr_max
PARAM_VALUE 1 zone 322629220183461888
PARAM_VALUE 1 zone->cond 0-15
PARAM_VALUE 1 zone->non_seq 0-1
PARAM_VALUE 1 zone->reset 0-1
PARAM_VALUE 1 zone->type 0-15
PARAM_VALUE 2 idx 0-s32max
PARAM_VALUE 3 args 0,1110972585949810688,3281133120743972864,4558383600764575744,8281394250013528064
PARAM_VALUE 3 args->report_active 0-1
BUF_SIZE 3 args->data (-1),8,16,40,64,128,152-s32max
CAPPED_DATA 0 disk->queue->limits.max_hw_sectors 1
CAPPED_DATA 2 idx 1
DATA_SOURCE 2 idx $2
DATA_SOURCE 3 args $3
RX_PATH
TASK_NOT_RUNNING
UNITS 2 idx unit_byte
HALF_LOCKED2 &pool->lock

drivers/nvme/host/zns.c nvme_zone_parse_entry() -> disk_report_zone()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_nr_sectors 1-u64max
PARAM_VALUE 0 disk->queue 4096-ptr_max
PARAM_VALUE 1 zone 4391162181376765952
PARAM_VALUE 1 zone->cond 0-15
PARAM_VALUE 1 zone->non_seq 0
PARAM_VALUE 1 zone->reset 0
PARAM_VALUE 1 zone->type 2
PARAM_VALUE 2 idx 0-s32max
PARAM_VALUE 3 args 0,1110972585949810688,3281133120743972864,4558383600764575744,8281394250013528064
PARAM_VALUE 3 args->report_active 0-1
BUF_SIZE 3 args->data (-1),8,16,40,64,128,152-s32max
CAPPED_DATA 0 disk->part0->bd_nr_sectors 1
CAPPED_DATA 0 disk->queue->limits.max_hw_sectors 1
CAPPED_DATA 0 disk->queue->limits.max_segments 1
CAPPED_DATA 2 idx 1
DATA_SOURCE 2 idx $2
DATA_SOURCE 3 args $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &head->srcu

drivers/block/ublk_drv.c ublk_report_zones() -> disk_report_zone()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->fops 4096-ptr_max
PARAM_VALUE 0 disk->fops->report_zones 0,4096-ptr_max
PARAM_VALUE 0 disk->private_data 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->q_usage_counter.percpu_count_ptr 1-u64max
PARAM_VALUE 0 disk->random->last_time 0-s64max
PARAM_VALUE 1 zone 4096-ptr_max
PARAM_VALUE 1 zone->len 1-u64max
PARAM_VALUE 2 idx 0-67108855
PARAM_VALUE 3 args 0,1110972585949810688,3281133120743972864,4558383600764575744,8281394250013528064
PARAM_VALUE 3 args->report_active 0-1
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 2 idx 1
DATA_SOURCE 0 disk $0
DATA_SOURCE 3 args $3
PARAM_COMPARE 1 zone > $2
PARAM_COMPARE 2 idx < $1
RX_PATH
TASK_NOT_RUNNING
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]
HOST_DATA 3 args->data->capacity s64min-s64max
HOST_DATA 3 args->data->last_zone_capacity 1-s32max[c]
HOST_DATA 3 args->data->sbi->unusable_blocks_per_sec 0-4294967295[c]
HOST_DATA 3 args->data->start s64min-s64max
HOST_DATA 3 args->data->wp s64min-s64max
HOST_DATA 3 args->data->wp_block 0-4294967295
HOST_DATA 3 args->data->zone_capacity 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
UNITS 1 zone unit_byte
UNITS 2 idx unit_byte
HALF_LOCKED2 &pool->lock

drivers/block/virtio_blk.c virtblk_parse_zone() -> disk_report_zone()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_nr_sectors 1-u64max
PARAM_VALUE 0 disk->queue 4096-ptr_max
PARAM_VALUE 0 disk->queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 disk->queue->q_usage_counter.percpu_count_ptr 1-u64max
PARAM_VALUE 1 zone 4338319366837596160
PARAM_VALUE 1 zone->cond 0-4,13-15
PARAM_VALUE 1 zone->non_seq 0
PARAM_VALUE 1 zone->reset 0
PARAM_VALUE 1 zone->type 1-3
PARAM_VALUE 2 idx 0-4294967294
PARAM_VALUE 3 args 0,1110972585949810688,3281133120743972864,4558383600764575744,8281394250013528064
PARAM_VALUE 3 args->report_active 0-1
BUF_SIZE 3 args->data (-1),8,16,40,64,128,152-s32max
CAPPED_DATA 0 disk->part0->bd_nr_sectors 1
CAPPED_DATA 0 disk->queue->limits.max_hw_sectors 1
CAPPED_DATA 0 disk->queue->limits.max_segments 1
CAPPED_DATA 2 idx 1
DATA_SOURCE 2 idx $2
DATA_SOURCE 3 args $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 zone->capacity 0-u64max
HOST_DATA 1 zone->start 0-u64max
HOST_DATA 1 zone->wp 0-u64max
LOCK2 &vblk->vdev_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct virtio_blk)->vdev_mutex