Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

block/blk-mq.c __blk_mq_free_request() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 q->async_depth
NO_OVERFLOW_SIMPLE 0 q->limits.discard_granularity
NO_OVERFLOW_SIMPLE 0 q->limits.io_min
NO_OVERFLOW_SIMPLE 0 q->limits.logical_block_size
NO_OVERFLOW_SIMPLE 0 q->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 q->limits.physical_block_size
NO_OVERFLOW_SIMPLE 0 q->limits.zone_write_granularity
NO_OVERFLOW_SIMPLE 0 q->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 q->nr_requests
NO_OVERFLOW_SIMPLE 0 q->q_usage_counter.percpu_count_ptr

block/blk-mq.c blk_mq_alloc_request() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->debugfs_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 q->q_usage_counter.percpu_count_ptr 1-u64max
DATA_SOURCE 0 q $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->async_depth 1-10238[c]
HOST_DATA 0 q->disk->bdi->io_pages 0-268435455[c]
HOST_DATA 0 q->disk->bdi->ra_pages 33-536870911[c]
HOST_DATA 0 q->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 q->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 q->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 q->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 q->limits.io_min 512-65536[c]
HOST_DATA 0 q->limits.max_active_zones 0-u32max
HOST_DATA 0 q->limits.max_integrity_segments 0-u16max
HOST_DATA 0 q->limits.max_open_zones 0-u32max
HOST_DATA 0 q->limits.max_sectors 0-s32max[c]
HOST_DATA 0 q->limits.max_segments 1-u16max[c]
HOST_DATA 0 q->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 q->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 q->mq_kobj->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 q->nr_requests 1-10238[c]
HOST_DATA 0 q->tag_set->queue_depth 1-10238[c]
HOST_DATA 0 q->tag_set->reserved_tags 0-u32max
USER_DATA 0 q->limits.alignment_offset 0-u32max[c][u]
USER_DATA 0 q->limits.atomic_write_max_sectors 0-8388607[c]
USER_DATA 0 q->limits.discard_granularity 512-u32max[c]
USER_DATA 0 q->limits.io_min 512-u32max[c]
USER_DATA 0 q->limits.logical_block_size 512-65536[c]
USER_DATA 0 q->limits.max_hw_wzeroes_unmap_sectors 0-u32max[c]
USER_DATA 0 q->limits.max_sectors 0-s32max[c]
USER_DATA 0 q->limits.max_write_zeroes_sectors 0-u32max[c]
USER_DATA 0 q->limits.max_wzeroes_unmap_sectors 0-s32max[c]
USER_DATA 0 q->limits.max_zone_append_sectors 0-s32max[c]
USER_DATA 0 q->limits.physical_block_size 512-u32max[c]
USER_DATA 0 q->queue_depth 1-4095[c]
NO_OVERFLOW_SIMPLE 0 q->async_depth
NO_OVERFLOW_SIMPLE 0 q->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 q->limits.zone_write_granularity
NO_OVERFLOW_SIMPLE 0 q->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 q->nr_requests
NO_OVERFLOW_SIMPLE 0 q->q_usage_counter.percpu_count_ptr
NO_OVERFLOW_SIMPLE 0 q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 q->tag_set->queue_depth
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vblk->vdev_mutex
HALF_LOCKED2 0 &q->limits_lock

block/blk-mq.c blk_mq_alloc_request_hctx() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dev->power.request 0-4
PARAM_VALUE 0 q->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 q->nr_hw_queues 1-u32max
PARAM_VALUE 0 q->q_lockdep_map->name 0-255
PARAM_VALUE 0 q->q_usage_counter.percpu_count_ptr 1-u64max
PARAM_VALUE 0 q->queue_hw_ctx 4096-ptr_max
DATA_SOURCE 0 q $0
RX_PATH
NOCHECK_CALL
HOST_DATA 0 q->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 q->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 q->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 q->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 q->limits.io_min 512-65536[c]
HOST_DATA 0 q->limits.max_active_zones 0-u32max
HOST_DATA 0 q->limits.max_open_zones 0-u32max
HOST_DATA 0 q->limits.max_sectors 0-s32max[c]
HOST_DATA 0 q->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 q->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 q->mq_kobj->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 q->tag_set->queue_depth 1-10238[c]
HOST_DATA 0 q->tag_set->reserved_tags 0-u32max
NO_OVERFLOW_SIMPLE 0 q->async_depth
NO_OVERFLOW_SIMPLE 0 q->limits.discard_granularity
NO_OVERFLOW_SIMPLE 0 q->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 q->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 q->nr_requests
NO_OVERFLOW_SIMPLE 0 q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 q->tag_set->queue_depth
HALF_LOCKED2 &pool->lock

block/blk-mq.c blk_mq_rq_cache_fill() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->debugfs_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 q->dev->power.request 0-4
PARAM_VALUE 0 q->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 q->elevator->type->icq_align 0,8
PARAM_VALUE 0 q->q_lockdep_map->name 0-255
PARAM_VALUE 0 q->q_usage_counter.percpu_count_ptr 1-u64max
PARAM_VALUE 0 q->root_blkg->online 0-1
PARAM_VALUE 0 q->stats->accounting s32min-s32max
DATA_SOURCE 0 q $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->async_depth 1-10238[c]
HOST_DATA 0 q->disk->bdi->io_pages 0-268435455[c]
HOST_DATA 0 q->disk->bdi->ra_pages 33-536870911[c]
HOST_DATA 0 q->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 q->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 q->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 q->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 q->limits.io_min 512-65536[c]
HOST_DATA 0 q->limits.max_active_zones 0-u32max
HOST_DATA 0 q->limits.max_integrity_segments 0-u16max
HOST_DATA 0 q->limits.max_open_zones 0-u32max
HOST_DATA 0 q->limits.max_sectors 0-s32max[c]
HOST_DATA 0 q->limits.max_segments 1-u16max[c]
HOST_DATA 0 q->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 q->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 q->mq_kobj->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 q->nr_requests 1-10238[c]
HOST_DATA 0 q->tag_set->queue_depth 1-10238[c]
HOST_DATA 0 q->tag_set->reserved_tags 0-u32max
HOST_DATA 0 q->tag_set->tags_srcu.srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
USER_DATA 0 q->limits.alignment_offset 0-u32max[c][u]
USER_DATA 0 q->limits.atomic_write_max_sectors 0-8388607[c]
USER_DATA 0 q->limits.discard_granularity 512-u32max[c]
USER_DATA 0 q->limits.io_min 512-u32max[c]
USER_DATA 0 q->limits.logical_block_size 512-65536[c]
USER_DATA 0 q->limits.max_hw_wzeroes_unmap_sectors 0-u32max[c]
USER_DATA 0 q->limits.max_sectors 0-s32max[c]
USER_DATA 0 q->limits.max_write_zeroes_sectors 0-u32max[c]
USER_DATA 0 q->limits.max_wzeroes_unmap_sectors 0-s32max[c]
USER_DATA 0 q->limits.max_zone_append_sectors 0-s32max[c]
USER_DATA 0 q->limits.physical_block_size 512-u32max[c]
USER_DATA 0 q->queue_depth 1-4095[c]
NO_OVERFLOW_SIMPLE 0 q->async_depth
NO_OVERFLOW_SIMPLE 0 q->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 q->limits.zone_write_granularity
NO_OVERFLOW_SIMPLE 0 q->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 q->nr_requests
NO_OVERFLOW_SIMPLE 0 q->q_usage_counter.percpu_count_ptr
NO_OVERFLOW_SIMPLE 0 q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 q->tag_set->queue_depth
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vblk->vdev_mutex
HALF_LOCKED2 0 &q->limits_lock

block/blk-mq.c blk_mq_submit_bio() -> blk_queue_exit()

Type Parameter Key Value
CAPPED_DATA 0 q 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->last_merge->__sector 0-u64max
USER_DATA 0 q->last_merge->__sector 0-u64max

block/blk-mq.c blk_mq_submit_bio() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dev->power.wakeirq->status 0-4294967295
NOSPEC 0 q->last_merge->__sector
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->last_merge->__sector 0-u64max
USER_DATA 0 q->last_merge->__sector 0-u64max

block/blk-mq.c blk_mq_timeout_work() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

block/blk-mq.c blk_rq_poll() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->mq_ops 4096-ptr_max
PARAM_VALUE 0 q->mq_ops->poll 4096-ptr_max
PARAM_VALUE 0 q->q_usage_counter.percpu_count_ptr 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctx->uring_lock
HALF_LOCKED2 &sqd->lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

block/blk-mq.c blk_try_enter_queue() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->pm_only.counter s32min-(-1),1-s32max
PARAM_VALUE 0 q->q_usage_counter.percpu_count_ptr 1-u64max
DATA_SOURCE 0 q $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->last_merge->__sector 0-u64max
LOCK2 rcu_read
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
HALF_LOCKED2 &pool->lock

block/blk-core.c __submit_bio() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock

block/blk-core.c bio_poll() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->disk->fops 4096-ptr_max
PARAM_VALUE 0 q->disk->fops->poll_bio 0,7187272799208849408
PARAM_VALUE 0 q->mq_ops 0-1
PARAM_VALUE 0 q->q_usage_counter.percpu_count_ptr 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 rcu_read

block/blk-core.c blk_try_enter_queue() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->debugfs_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 q->elevator->type->icq_align 0,8
PARAM_VALUE 0 q->pm_only.counter s32min-(-1),1-s32max
PARAM_VALUE 0 q->q_usage_counter.percpu_count_ptr 1-u64max
DATA_SOURCE 0 q $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->async_depth 0-10238[c]
HOST_DATA 0 q->disk->bdi->io_pages 0-268435455[c]
HOST_DATA 0 q->disk->bdi->ra_pages 33-536870911[c]
HOST_DATA 0 q->last_merge->__sector 0-u64max
HOST_DATA 0 q->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 q->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 q->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 q->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 q->limits.io_min 512-65536[c]
HOST_DATA 0 q->limits.max_active_zones 0-u32max
HOST_DATA 0 q->limits.max_integrity_segments 0-u16max
HOST_DATA 0 q->limits.max_open_zones 0-u32max
HOST_DATA 0 q->limits.max_sectors 0-s32max[c]
HOST_DATA 0 q->limits.max_segments 1-u16max[c]
HOST_DATA 0 q->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 q->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 q->mq_kobj->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 q->nr_requests 0-10238[c]
HOST_DATA 0 q->tag_set->queue_depth 1-10238[c]
HOST_DATA 0 q->tag_set->reserved_tags 0-u32max
HOST_DATA 0 q->tag_set->srcu->srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 q->tag_set->tags_srcu.srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
USER_DATA 0 q->last_merge->__sector 0-u64max
USER_DATA 0 q->limits.alignment_offset 0-u32max[c][u]
USER_DATA 0 q->limits.atomic_write_max_sectors 0-8388607[c]
USER_DATA 0 q->limits.discard_granularity 512-u32max[c]
USER_DATA 0 q->limits.io_min 512-u32max[c]
USER_DATA 0 q->limits.logical_block_size 512-65536[c]
USER_DATA 0 q->limits.max_hw_wzeroes_unmap_sectors 0-u32max[c]
USER_DATA 0 q->limits.max_sectors 0-s32max[c]
USER_DATA 0 q->limits.max_write_zeroes_sectors 0-u32max[c]
USER_DATA 0 q->limits.max_wzeroes_unmap_sectors 0-s32max[c]
USER_DATA 0 q->limits.max_zone_append_sectors 0-s32max[c]
USER_DATA 0 q->limits.physical_block_size 512-u32max[c]
USER_DATA 0 q->queue_depth 1-4095[c]
NO_OVERFLOW_SIMPLE 0 q->async_depth
NO_OVERFLOW_SIMPLE 0 q->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 q->limits.zone_write_granularity
NO_OVERFLOW_SIMPLE 0 q->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 q->nr_requests
NO_OVERFLOW_SIMPLE 0 q->q_usage_counter.percpu_count_ptr
NO_OVERFLOW_SIMPLE 0 q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 q->tag_set->queue_depth
LOCK2 rcu_read
HALF_LOCKED2 0 &q->limits_lock

block/blk-zoned.c blk_zone_wplug_bio_io_error() -> blk_queue_exit()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &zwplug->lock
HALF_LOCKED2 flags

block/blk-zoned.c blk_zone_write_plug_init_request() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->disk 4096-ptr_max
PARAM_VALUE 0 q->disk->nr_zone_wplugs.counter s32min-(-1),1-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 q->async_depth
NO_OVERFLOW_SIMPLE 0 q->limits.discard_granularity
NO_OVERFLOW_SIMPLE 0 q->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 q->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 q->limits.zone_write_granularity
NO_OVERFLOW_SIMPLE 0 q->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 q->nr_requests
NO_OVERFLOW_SIMPLE 0 q->q_usage_counter.percpu_count_ptr
LOCK2 &zwplug->lock
LOCK2 flags
TYPE_LOCK (struct blk_zone_wplug)->lock

block/blk-zoned.c disk_zone_wplug_submit_bio() -> blk_queue_exit()

Type Parameter Key Value
NOCHECK_CALL

block/blk-mq-tag.c blk_mq_queue_tag_busy_iter() -> blk_queue_exit()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->q_usage_counter.percpu_count_ptr 1-u64max
PARAM_VALUE 0 q->tag_set 4096-ptr_max
PARAM_VALUE 0 q->tag_set->tags_srcu.dep_map->name 0-255
PARAM_VALUE 0 q->tag_set->tags_srcu.srcu_ctrp 4096-ptr_max
CAPPED_DATA 0 q->tag_set->tags_srcu.srcu_ctrp 1
CAPPED_DATA 0 q->tag_set->tags_srcu.srcu_reader_flavor 1
DATA_SOURCE 0 q $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &of->mutex