Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/ublk_drv.c ublk_cancel_dev() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min,(-1),1-s32max
BUF_SIZE 0 dev s32min,(-1),1-s32max
CAPPED_DATA 1 qid 1
DATA_SOURCE 0 dev $0
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
RX_PATH
TASK_NOT_RUNNING

drivers/block/ublk_drv.c ublk_ch_release_work_fn() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev->dev_info.nr_hw_queues 1
CAPPED_DATA 0 &dev->cancel_mutex 1
CAPPED_DATA 1 qid 1
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
LOCK2 0 &dev->cancel_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ublk_device)->cancel_mutex

drivers/block/ublk_drv.c ublk_ch_release_work_fn() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 qid 0-65534
CAPPED_DATA 0 dev->dev_info.nr_hw_queues 1
CAPPED_DATA 0 &dev->cancel_mutex 1
CAPPED_DATA 0 &dev->mutex 1
CAPPED_DATA 1 qid 1
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
LOCK2 0 &dev->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ublk_device)->mutex

drivers/block/ublk_drv.c ublk_ch_release_work_fn() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 qid 0-65534
CAPPED_DATA 0 dev->dev_info.nr_hw_queues 1
CAPPED_DATA 0 &dev->cancel_mutex 1
CAPPED_DATA 0 &dev->mutex 1
CAPPED_DATA 1 qid 1
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
LOCK2 0 &dev->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ublk_device)->mutex

drivers/block/ublk_drv.c ublk_ch_uring_cmd_local() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 qid 0-65534
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 1 qid 1
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock

drivers/block/ublk_drv.c ublk_check_and_reset_active_ref() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 1 qid 1
DATA_SOURCE 0 dev $0
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
HALF_LOCKED2 &pool->lock

drivers/block/ublk_drv.c ublk_force_abort_dev() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1),1-s32max
BUF_SIZE 0 dev (-1),1-s32max
CAPPED_DATA 1 qid 1
DATA_SOURCE 0 dev $0
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &dev->mutex
TYPE_LOCK (struct ublk_device)->mutex

drivers/block/ublk_drv.c ublk_handle_batch_fetch_cmd() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 qid 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock

drivers/block/ublk_drv.c ublk_handle_non_batch_cmd() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 qid 0-65534
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 1 qid 1
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock

drivers/block/ublk_drv.c ublk_init_hctx() -> ublk_get_queue()

Type Parameter Key Value
BUF_SIZE 0 dev (-1),64,128,280,736,816,848,1000-s32max
BUF_SIZE 0 dev (-1),64,128,280,736,816,848,1000-s32max
CAPPED_DATA 1 qid 1
DATA_SOURCE 0 dev $1
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 qid
UNITS 1 qid unit_array_size
HALF_LOCKED2 &set->tag_list_lock
HALF_LOCKED2 &set->update_nr_hwq_lock

drivers/block/ublk_drv.c ublk_mark_io_ready() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 qid $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 0 &dev->mutex

drivers/block/ublk_drv.c ublk_queue_cmd_buf() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1),1216
BUF_SIZE 0 dev (-1),1216
CAPPED_DATA 0 dev->mm 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 qid $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 qid 0-u16max[c]
HALF_LOCKED2 &ipcp->lock

drivers/block/ublk_drv.c ublk_reset_ch_dev() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev->dev_info.nr_hw_queues 1
CAPPED_DATA 1 qid 1
DATA_SOURCE 0 dev $0
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
HALF_LOCKED2 &pool->lock

drivers/block/ublk_drv.c ublk_set_canceling() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1),26
BUF_SIZE 0 dev (-1),26
CAPPED_DATA 1 qid 1
DATA_SOURCE 0 dev $0
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &dev->cancel_mutex
HALF_LOCKED2 0 &dev->mutex
TYPE_LOCK (struct ublk_device)->cancel_mutex

drivers/block/ublk_drv.c ublk_user_copy() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 qid 0-4095
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 1 qid 1
DATA_SOURCE 1 qid r ublk_pos_to_hwq
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 qid 0-4095[c]
HALF_LOCKED2 &pool->lock

drivers/block/ublk_drv.c ublk_wait_for_idle_io() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 qid 0-65534
BUF_SIZE 0 dev (-1),26
BUF_SIZE 0 dev (-1),26
CAPPED_DATA 0 dev->dev_info.nr_hw_queues 1
CAPPED_DATA 1 qid 1
DATA_SOURCE 0 dev $0
PARAM_COMPARE 1 qid < $0->dev_info.nr_hw_queues
CONSTRAINT 1 qid <3806
BIT_INFO 0 dev->dev_info.flags 0x1000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &dev->mutex
HALF_LOCKED2 &ctx->uring_lock
TYPE_LOCK (struct ublk_device)->mutex

drivers/block/ublk_drv.c ublk_walk_cmd_buf() -> ublk_get_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 qid 0
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 0 &dev->mutex