Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

block/bfq-iosched.c bfq_update_wr_data() -> bfq_entity_service_tree()

Type Parameter Key Value
PARAM_VALUE 0 entity 4096-ptr_max
BUF_SIZE 0 entity 136
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bfqd->lock
LOCK2 irq
HALF_LOCKED2 __tag_set->srcu
TYPE_LOCK (struct bfq_data)->lock

block/bfq-iosched.c bfqq_request_over_limit() -> bfq_entity_service_tree()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bfqd->lock
LOCK2 irq
TYPE_LOCK (struct bfq_data)->lock

block/bfq-wf2q.c __bfq_activate_entity() -> bfq_entity_service_tree()

Type Parameter Key Value
PARAM_VALUE 0 entity 4096-ptr_max
PARAM_VALUE 0 entity->sched_data 4096-ptr_max
DATA_SOURCE 0 entity $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 irq

block/bfq-wf2q.c __bfq_activate_requeue_entity() -> bfq_entity_service_tree()

Type Parameter Key Value
PARAM_VALUE 0 entity 1-u64max
BUF_SIZE 0 entity (-1),136
BUF_SIZE 0 entity (-1),136
DATA_SOURCE 0 entity $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 irq

block/bfq-wf2q.c __bfq_deactivate_entity() -> bfq_entity_service_tree()

Type Parameter Key Value
PARAM_VALUE 0 entity 4096-ptr_max
BUF_SIZE 0 entity (-1),136
BUF_SIZE 0 entity (-1),136
DATA_SOURCE 0 entity $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 &blkcg->lock
HALF_LOCKED2 &q->queue_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

block/bfq-wf2q.c __bfq_entity_update_weight_prio() -> bfq_entity_service_tree()

Type Parameter Key Value
PARAM_VALUE 0 entity 4096-ptr_max
BUF_SIZE 0 entity (-1),136
BUF_SIZE 0 entity (-1),136
CAPPED_DATA 0 entity 1
CAPPED_DATA 0 entity->new_weight 1
CAPPED_DATA 0 entity->orig_weight 1
DATA_SOURCE 0 entity $1
PARAM_COMPARE 0 entity->new_weight == $0->orig_weight
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 irq

block/bfq-wf2q.c __bfq_requeue_entity() -> bfq_entity_service_tree()

Type Parameter Key Value
PARAM_VALUE 0 entity 4096-ptr_max
CAPPED_DATA 0 entity 1
DATA_SOURCE 0 entity $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 irq

block/bfq-wf2q.c bfq_bfqq_served() -> bfq_entity_service_tree()

Type Parameter Key Value
PARAM_VALUE 0 entity 1-u64max
BUF_SIZE 0 entity (-1),136
BUF_SIZE 0 entity (-1),136
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct bfq_data)->lock

block/bfq-wf2q.c bfq_get_next_queue() -> bfq_entity_service_tree()

Type Parameter Key Value
PARAM_VALUE 0 entity 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bfqd->lock
LOCK2 irq
HALF_LOCKED2 __tag_set->srcu
TYPE_LOCK (struct bfq_data)->lock

block/bfq-cgroup.c bfq_bfqq_move() -> bfq_entity_service_tree()

Type Parameter Key Value
PARAM_VALUE 0 entity 4096-ptr_max
BUF_SIZE 0 entity 136
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 &blkcg->lock
HALF_LOCKED2 &q->queue_lock
HALF_LOCKED2 flags
TYPE_LOCK (struct bfq_data)->lock