Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/blk-core.c blk_put_queue() -> blk_free_queue()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
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
BUF_SIZE 0 q (-1)-s32max
BUF_SIZE 0 q (-1)-s32max
BUF_SIZE 0 q->mq_ops (-1),144
BUF_SIZE 0 q->queuedata (-1),128,736,792,816,1000-s32max
BUF_SIZE 0 q->tag_set (-1),528
DATA_SOURCE 0 q $0
STR_LEN 0 q->queuedata (-1),19
STR_LEN 0 q->tag_set (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->async_depth 1-10238[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_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->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
NO_OVERFLOW_SIMPLE 0 q->async_depth
NO_OVERFLOW_SIMPLE 0 q->disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 q->disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 q->limits.max_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 &sp->mutex