Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/tcp.c nvme_tcp_stop_io_queues() -> nvme_tcp_wait_queue()

Type Parameter Key Value
PARAM_VALUE 0 nctrl 4096-ptr_max
PARAM_VALUE 0 nctrl->admin_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 nctrl->connect_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 nctrl->device->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 nctrl->fabrics_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 nctrl->ops->reg_read32 4096-ptr_max
PARAM_VALUE 0 nctrl->ops->reg_read64 4096-ptr_max
PARAM_VALUE 0 nctrl->ops->reg_write32 4096-ptr_max
PARAM_VALUE 0 nctrl->ops->stop_ctrl 0,4096-ptr_max
PARAM_VALUE 0 nctrl->opts 4096-ptr_max
PARAM_VALUE 0 nctrl->psd->entry_lat 0-4294967295
PARAM_VALUE 0 nctrl->psd->exit_lat 0-4294967295
PARAM_VALUE 0 nctrl->psd->max_power 0-u16max
PARAM_VALUE 0 nctrl->queue_count 2-s32max
PARAM_VALUE 0 nctrl->srcu.dep_map->name 0-255
PARAM_VALUE 0 nctrl->srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 nctrl->tagset 0,4096-ptr_max
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup 4096-ptr_max
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->lock.owner 0,(-1)
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->lock.owner_cpu 0,u32max
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->sda_is_static 1
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_gp_seq_needed 0,4-u64max
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_gp_seq_needed_exp 0,18446744073709551216
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 nctrl->tagset->srcu->srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 nctrl->tagset->update_nr_hwq_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nctrl->tagset->update_nr_hwq_lock.first_waiter->type 0-1
PARAM_VALUE 0 *nctrl->subsys->firmware_rev 0-255
PARAM_VALUE 1 qid 1-2147483646
BUF_SIZE 0 nctrl s32min-(-1),1-s32max
BUF_SIZE 0 nctrl s32min-(-1),1-s32max
CAPPED_DATA 0 nctrl->queue_count 1
CAPPED_DATA 0 nctrl->srcu.srcu_ctrp 1
CAPPED_DATA 0 nctrl->tagset 1
CAPPED_DATA 1 qid 1
DATA_SOURCE 0 nctrl $0
PARAM_COMPARE 0 nctrl->queue_count > $1
PARAM_COMPARE 1 qid < $0->queue_count
CONSTRAINT 1 qid <3732
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 nctrl->admin_q->async_depth 1-10238[c]
HOST_DATA 0 nctrl->admin_q->disk->bdi->io_pages 0-268435455[c]
HOST_DATA 0 nctrl->admin_q->disk->bdi->ra_pages 33-536870911[c]
HOST_DATA 0 nctrl->admin_q->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 nctrl->admin_q->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 nctrl->admin_q->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 nctrl->admin_q->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 nctrl->admin_q->limits.io_min 512-65536[c]
HOST_DATA 0 nctrl->admin_q->limits.max_active_zones 0-u32max
HOST_DATA 0 nctrl->admin_q->limits.max_integrity_segments 0-u16max
HOST_DATA 0 nctrl->admin_q->limits.max_open_zones 0-u32max
HOST_DATA 0 nctrl->admin_q->limits.max_sectors 0-s32max[c]
HOST_DATA 0 nctrl->admin_q->limits.max_segments 1-u16max[c]
HOST_DATA 0 nctrl->admin_q->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 nctrl->admin_q->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 nctrl->admin_q->mq_kobj->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 nctrl->admin_q->nr_requests 1-10238[c]
HOST_DATA 0 nctrl->admin_q->tag_set->queue_depth 1-10238[c]
HOST_DATA 0 nctrl->admin_q->tag_set->reserved_tags 0-u32max
HOST_DATA 0 nctrl->admin_q->tag_set->srcu->srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 nctrl->admin_q->tag_set->tags_srcu.srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 nctrl->admin_tagset->queue_depth 1-10238[c]
HOST_DATA 0 nctrl->cap 0-u64max
HOST_DATA 0 nctrl->connect_q->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 nctrl->connect_q->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 nctrl->connect_q->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 nctrl->connect_q->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 nctrl->connect_q->limits.io_min 512-65536[c]
HOST_DATA 0 nctrl->connect_q->limits.max_active_zones 0-u32max
HOST_DATA 0 nctrl->connect_q->limits.max_open_zones 0-u32max
HOST_DATA 0 nctrl->connect_q->limits.max_sectors 0-s32max[c]
HOST_DATA 0 nctrl->connect_q->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 nctrl->connect_q->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 nctrl->connect_q->mq_kobj->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 nctrl->connect_q->tag_set->queue_depth 1-10238[c]
HOST_DATA 0 nctrl->connect_q->tag_set->reserved_tags 0-u32max
HOST_DATA 0 nctrl->connect_q->tag_set->tags_srcu.srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 nctrl->fabrics_q->async_depth 1-10238[c]
HOST_DATA 0 nctrl->fabrics_q->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 nctrl->fabrics_q->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 nctrl->fabrics_q->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 nctrl->fabrics_q->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 nctrl->fabrics_q->limits.io_min 512-65536[c]
HOST_DATA 0 nctrl->fabrics_q->limits.max_active_zones 0-u32max
HOST_DATA 0 nctrl->fabrics_q->limits.max_open_zones 0-u32max
HOST_DATA 0 nctrl->fabrics_q->limits.max_sectors 0-s32max[c]
HOST_DATA 0 nctrl->fabrics_q->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 nctrl->fabrics_q->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 nctrl->fabrics_q->mq_kobj->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 nctrl->fabrics_q->nr_requests 1-10238[c]
HOST_DATA 0 nctrl->fabrics_q->tag_set->queue_depth 1-10238[c]
HOST_DATA 0 nctrl->fabrics_q->tag_set->reserved_tags 0-u32max
HOST_DATA 0 nctrl->fabrics_q->tag_set->tags_srcu.srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 nctrl->max_hw_sectors 1-u32max[c]
HOST_DATA 0 nctrl->maxcmd 0-u16max[c]
HOST_DATA 0 nctrl->quirks 0-u64max
HOST_DATA 0 nctrl->sqsize 0-u16max[c]
HOST_DATA 0 nctrl->tagset->queue_depth 1-10238[c]
HOST_DATA 0 nctrl->tagset->reserved_tags 0-1,32
HOST_DATA 0 nctrl->tagset->srcu->srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 nctrl->tagset->tags_srcu.srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
NO_OVERFLOW_SIMPLE 0 nctrl->admin_q->async_depth
NO_OVERFLOW_SIMPLE 0 nctrl->admin_q->nr_requests
NO_OVERFLOW_SIMPLE 0 nctrl->admin_q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 nctrl->admin_q->tag_set->queue_depth
NO_OVERFLOW_SIMPLE 0 nctrl->ana_log_size
NO_OVERFLOW_SIMPLE 0 nctrl->cdev.count
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->async_depth
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->nr_requests
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->tag_set->queue_depth
NO_OVERFLOW_SIMPLE 0 nctrl->fabrics_q->async_depth
NO_OVERFLOW_SIMPLE 0 nctrl->fabrics_q->nr_requests
NO_OVERFLOW_SIMPLE 0 nctrl->fabrics_q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 nctrl->fabrics_q->tag_set->queue_depth
NO_OVERFLOW_SIMPLE 0 nctrl->queue_count
NO_OVERFLOW_SIMPLE 0 nctrl->tagset->queue_depth
NO_OVERFLOW_SIMPLE 1 qid
UNITS 1 qid unit_array_size

drivers/nvme/host/tcp.c nvme_tcp_stop_queue() -> nvme_tcp_wait_queue()

Type Parameter Key Value
PARAM_VALUE 0 nctrl 4096-ptr_max
PARAM_VALUE 0 nctrl->admin_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 nctrl->connect_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 nctrl->device->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 nctrl->fabrics_q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 nctrl->ops->reg_read32 4096-ptr_max
PARAM_VALUE 0 nctrl->ops->reg_read64 4096-ptr_max
PARAM_VALUE 0 nctrl->ops->reg_write32 4096-ptr_max
PARAM_VALUE 0 nctrl->ops->stop_ctrl 0,4096-ptr_max
PARAM_VALUE 0 nctrl->tagset->update_nr_hwq_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 nctrl->tagset->update_nr_hwq_lock.first_waiter->type 0-1
BUF_SIZE 0 nctrl s32min-(-1),1-s32max
BUF_SIZE 0 nctrl s32min-(-1),1-s32max
DATA_SOURCE 0 nctrl $0
DATA_SOURCE 1 qid $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 nctrl->admin_q->async_depth 1-10238[c]
HOST_DATA 0 nctrl->admin_q->disk->bdi->io_pages 0-268435455[c]
HOST_DATA 0 nctrl->admin_q->disk->bdi->ra_pages 33-536870911[c]
HOST_DATA 0 nctrl->admin_q->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 nctrl->admin_q->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 nctrl->admin_q->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 nctrl->admin_q->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 nctrl->admin_q->limits.io_min 512-65536[c]
HOST_DATA 0 nctrl->admin_q->limits.max_active_zones 0-u32max
HOST_DATA 0 nctrl->admin_q->limits.max_integrity_segments 0-u16max
HOST_DATA 0 nctrl->admin_q->limits.max_open_zones 0-u32max
HOST_DATA 0 nctrl->admin_q->limits.max_sectors 0-s32max[c]
HOST_DATA 0 nctrl->admin_q->limits.max_segments 1-u16max[c]
HOST_DATA 0 nctrl->admin_q->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 nctrl->admin_q->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 nctrl->admin_q->mq_kobj->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 nctrl->admin_q->nr_requests 1-10238[c]
HOST_DATA 0 nctrl->admin_q->tag_set->queue_depth 1-10238[c]
HOST_DATA 0 nctrl->admin_q->tag_set->reserved_tags 0-u32max
HOST_DATA 0 nctrl->admin_q->tag_set->srcu->srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 nctrl->admin_q->tag_set->tags_srcu.srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 nctrl->admin_tagset->queue_depth 1-10238[c]
HOST_DATA 0 nctrl->admin_tagset->reserved_tags 0,2
HOST_DATA 0 nctrl->cap 0-u64max
HOST_DATA 0 nctrl->connect_q->async_depth 1-10238[c]
HOST_DATA 0 nctrl->connect_q->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 nctrl->connect_q->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 nctrl->connect_q->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 nctrl->connect_q->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 nctrl->connect_q->limits.io_min 512-65536[c]
HOST_DATA 0 nctrl->connect_q->limits.max_active_zones 0-u32max
HOST_DATA 0 nctrl->connect_q->limits.max_open_zones 0-u32max
HOST_DATA 0 nctrl->connect_q->limits.max_sectors 0-s32max[c]
HOST_DATA 0 nctrl->connect_q->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 nctrl->connect_q->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 nctrl->connect_q->mq_kobj->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 nctrl->connect_q->nr_requests 1-10238[c]
HOST_DATA 0 nctrl->connect_q->tag_set->queue_depth 1-10238[c]
HOST_DATA 0 nctrl->connect_q->tag_set->reserved_tags 0-u32max
HOST_DATA 0 nctrl->connect_q->tag_set->tags_srcu.srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 nctrl->fabrics_q->async_depth 1-10238[c]
HOST_DATA 0 nctrl->fabrics_q->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 nctrl->fabrics_q->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 nctrl->fabrics_q->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 nctrl->fabrics_q->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 nctrl->fabrics_q->limits.io_min 512-65536[c]
HOST_DATA 0 nctrl->fabrics_q->limits.max_active_zones 0-u32max
HOST_DATA 0 nctrl->fabrics_q->limits.max_open_zones 0-u32max
HOST_DATA 0 nctrl->fabrics_q->limits.max_sectors 0-s32max[c]
HOST_DATA 0 nctrl->fabrics_q->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 nctrl->fabrics_q->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 nctrl->fabrics_q->mq_kobj->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 nctrl->fabrics_q->nr_requests 1-10238[c]
HOST_DATA 0 nctrl->fabrics_q->tag_set->queue_depth 1-10238[c]
HOST_DATA 0 nctrl->fabrics_q->tag_set->reserved_tags 0-u32max
HOST_DATA 0 nctrl->fabrics_q->tag_set->tags_srcu.srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 nctrl->max_hw_sectors 0-u32max
HOST_DATA 0 nctrl->maxcmd 0-u16max
HOST_DATA 0 nctrl->quirks 0-u64max
HOST_DATA 0 nctrl->sqsize 0-u16max[c]
HOST_DATA 0 nctrl->subsys->instance s32min-s32max
HOST_DATA 0 nctrl->tagset->nr_hw_queues 0-u32max
HOST_DATA 0 nctrl->tagset->queue_depth 1-10238[c]
HOST_DATA 0 nctrl->tagset->shared_tags->bitmap_tags.sb.depth 1-u32max[c]
HOST_DATA 0 nctrl->tagset->shared_tags->bitmap_tags.sb.round_robin 0-1
HOST_DATA 0 nctrl->tagset->shared_tags->breserved_tags.sb.depth 1-u32max[c]
HOST_DATA 0 nctrl->tagset->shared_tags->breserved_tags.sb.round_robin 0-1
HOST_DATA 0 nctrl->tagset->tags_srcu.srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HOST_DATA 0 nctrl->vs 0-u32max
NO_OVERFLOW_SIMPLE 0 nctrl->admin_q->async_depth
NO_OVERFLOW_SIMPLE 0 nctrl->admin_q->limits.max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 nctrl->admin_q->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 nctrl->admin_q->nr_requests
NO_OVERFLOW_SIMPLE 0 nctrl->admin_q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 nctrl->admin_q->tag_set->queue_depth
NO_OVERFLOW_SIMPLE 0 nctrl->ana_log_size
NO_OVERFLOW_SIMPLE 0 nctrl->cdev.count
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->async_depth
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->nr_requests
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 nctrl->connect_q->tag_set->queue_depth
NO_OVERFLOW_SIMPLE 0 nctrl->ctrl_key->len
NO_OVERFLOW_SIMPLE 0 nctrl->fabrics_q->async_depth
NO_OVERFLOW_SIMPLE 0 nctrl->fabrics_q->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 nctrl->fabrics_q->nr_requests
NO_OVERFLOW_SIMPLE 0 nctrl->fabrics_q->tag_set->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 nctrl->fabrics_q->tag_set->queue_depth
NO_OVERFLOW_SIMPLE 0 nctrl->host_key->len
NO_OVERFLOW_SIMPLE 0 nctrl->queue_count
NO_OVERFLOW_SIMPLE 0 nctrl->tagset->queue_depth
NO_OVERFLOW_SIMPLE 1 qid
UNITS 1 qid unit_array_size