Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/bfq-iosched.c bfq_dispatch_request() -> __bfq_dispatch_request()

Type Parameter Key Value
PARAM_VALUE 0 hctx 4096-ptr_max
PARAM_VALUE 0 hctx->queue 4096-ptr_max
PARAM_VALUE 0 hctx->queue->elevator 4096-ptr_max
PARAM_VALUE 0 hctx->queue->elevator->elevator_data 4096-ptr_max
PARAM_VALUE 0 hctx->queue->elevator->type->ops.has_work 410715194960605184,6769586099157078016,9174663125962096640
PARAM_VALUE 0 hctx->queue->mq_ops 4096-ptr_max
PARAM_VALUE 0 hctx->run_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 hctx->run_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 hctx->run_work.wq->saved_min_active s32min-s32max
CAPPED_DATA 0 hctx 1
CAPPED_DATA 0 hctx->dispatch.next 1
DATA_SOURCE 0 hctx $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bfqd->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct bfq_data)->lock