Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->fops 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->mq_ops 0-1
PARAM_VALUE 0 disk->random->last_time 0-s64max
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
DATA_SOURCE 0 disk $0
PREEMPT_ADD
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 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]
HOST_DATA 0 disk->zone_wplugs_hash_bits 0-8[c]
HOST_DATA 0 disk->zone_wplugs_pool->min_nr 0-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->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->nr_hw_queues
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_requests
NO_OVERFLOW_SIMPLE 0 disk->zone_wplugs_pool->curr_nr
NO_OVERFLOW_SIMPLE 0 disk->zone_wplugs_pool->min_nr
HALF_LOCKED2 &ub->mutex
HALF_LOCKED2 global &lock

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

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->bio_split->rescue_workqueue->lockdep_map->name 0-255
PARAM_VALUE 0 disk->bio_split->rescue_workqueue->rescuer->task->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 disk->bio_split.bio_pool.curr_nr 0
PARAM_VALUE 0 disk->bio_split.bio_pool.elements 0
PARAM_VALUE 0 disk->bio_split.bio_slab 0
PARAM_VALUE 0 disk->bio_split.bvec_pool.curr_nr 0
PARAM_VALUE 0 disk->bio_split.bvec_pool.elements 0
PARAM_VALUE 0 disk->bio_split.cache 0
PARAM_VALUE 0 disk->bio_split.cpuhp_dead->next->pprev 1-u64max
PARAM_VALUE 0 disk->bio_split.rescue_workqueue 0
PARAM_VALUE 0 disk->ev 0,4096-ptr_max
PARAM_VALUE 0 disk->queue 4096-ptr_max
PARAM_VALUE 0 disk->queue->blk_trace 0
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->debugfs_mutex.dep_map->name 0-255
PARAM_VALUE 0 disk->queue->debugfs_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 disk->queue->debugfs_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 disk->queue->debugfs_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 disk->queue->debugfs_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 disk->queue->debugfs_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 disk->queue->debugfs_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 disk->queue->debugfs_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 disk->queue->mq_ops 0-1
PARAM_VALUE 0 disk->queue->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 disk->queue->root_blkg 0
PARAM_VALUE 0 disk->queue->td 0,4096-ptr_max
PARAM_VALUE 0 disk->queue->td->dispatch_work.lockdep_map->name 0-255
PARAM_VALUE 0 disk->queue->td->service_queue.pending_timer.flags 0-4194302
PARAM_VALUE 0 disk->queue->td->service_queue.pending_timer.lockdep_map->name 0-255
PARAM_VALUE 0 disk->zone_wplugs_wq 0
CAPPED_DATA 0 disk->ev 1
CAPPED_DATA 0 disk->queue->td 1
CAPPED_DATA 0 disk->random 1
DATA_SOURCE 0 disk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &subsys->su_mutex