Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
block/blk-mq.c blk_mq_hctx_has_pending() -> blk_mq_sched_has_work()
| 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->type->ops.has_work | 410715194960605184,6769586099157078016,9174663125962096640 |
| 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 |
| BUF_SIZE | 0 | hctx | (-1),112 |
| BUF_SIZE | 0 | hctx | (-1),112 |
| CAPPED_DATA | 0 | hctx->ctx_map.map_nr | 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 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | hctx | unit_byte |
| HALF_LOCKED2 | __tag_set->srcu | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &hctx->queue->queue_lock |