Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
block/bfq-iosched.c __bfq_put_async_bfqq() -> bfq_bfqq_move()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bfqd | 4096-ptr_max |
| PARAM_VALUE | 0 | bfqd->bfq_wr_max_softrt_rate | 0,7000 |
| PARAM_VALUE | 0 | bfqd->idle_slice_timer.is_queued | 0 |
| PARAM_VALUE | 0 | bfqd->idle_slice_timer.node.node.next | 0 |
| PARAM_VALUE | 0 | bfqd->idle_slice_timer.node.node.prev | 0 |
| PARAM_VALUE | 0 | bfqd->in_service_queue | 0 |
| PARAM_VALUE | 0 | bfqd->num_actuators | 1-u32max |
| PARAM_VALUE | 0 | bfqd->queue | 4096-ptr_max |
| PARAM_VALUE | 0 | bfqd->rqs_injected | 0 |
| PARAM_VALUE | 0 | bfqd->wait_dispatch | 0 |
| PARAM_VALUE | 0 | bfqd->waited_rq | 0 |
| PARAM_VALUE | 0 | *bfqd->in_service_queue->burst_list_node.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | *bfqd->in_service_queue->woken_list_node.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | bfqq | 1-u64max |
| DATA_SOURCE | 0 | bfqd | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &blkcg->lock | ||
| LOCK2 | &q->queue_lock | ||
| LOCK2 | flags | ||
| LOCK2 | irq | ||
| LOCK2 | 0 | &bfqd->lock | |
| HALF_LOCKED2 | &q->blkcg_mutex | ||
| TYPE_LOCK | (struct bfq_data)->lock | ||
| TYPE_LOCK | (struct blkcg)->lock | ||
| TYPE_LOCK | (struct request_queue)->queue_lock |
block/bfq-cgroup.c bfq_reparent_leaf_entity() -> bfq_bfqq_move()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bfqd | 4096-ptr_max |
| PARAM_VALUE | 1 | bfqq | 4096-ptr_max |
| DATA_SOURCE | 0 | bfqd | $0 |
| DATA_SOURCE | 1 | bfqq | r bfq_entity_to_bfqq |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &blkcg->lock | ||
| LOCK2 | &q->queue_lock | ||
| LOCK2 | flags | ||
| LOCK2 | irq | ||
| LOCK2 | 0 | &bfqd->lock | |
| HALF_LOCKED2 | &q->blkcg_mutex | ||
| TYPE_LOCK | (struct bfq_data)->lock | ||
| TYPE_LOCK | (struct blkcg)->lock | ||
| TYPE_LOCK | (struct request_queue)->queue_lock |
block/bfq-cgroup.c bfq_sync_bfqq_move() -> bfq_bfqq_move()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bfqd | 4096-ptr_max |
| PARAM_VALUE | 0 | bfqd->num_actuators | 1-u32max |
| PARAM_VALUE | 1 | bfqq | 4096-ptr_max |
| PARAM_VALUE | 1 | bfqq->new_bfqq | 0 |
| PARAM_VALUE | 2 | bfqg | 4096-ptr_max |
| BUF_SIZE | 0 | bfqd | 4,24,64,168-s32max |
| BUF_SIZE | 0 | bfqd | 4,24,64,168-s32max |
| CAPPED_DATA | 2 | bfqg | 1 |
| DATA_SOURCE | 0 | bfqd | $0 |
| DATA_SOURCE | 1 | bfqq | $1 |
| DATA_SOURCE | 2 | bfqg | $3 |
| PARAM_COMPARE | 2 | &bfqg->sched_data | != $1->entity.sched_data |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &bfqd->lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct bfq_data)->lock |