Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
block/blk-mq-sched.c __blk_mq_do_dispatch_sched() -> (struct elevator_mq_ops)->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 | 1-u64max |
| 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 |
| CAPPED_DATA | 0 | &hctx->dispatch | 1 |
| DATA_SOURCE | 0 | hctx | $0 |
| PARAM_COMPARE | 0 | hctx->dispatch.next | == $0->dispatch.prev |
| PARAM_COMPARE | 0 | &hctx->dispatch | == $0->dispatch.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | __tag_set->srcu | ||
| HALF_LOCKED2 | rcu_read |