Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 entity 4096-ptr_max
PARAM_VALUE 0 entity->sched_data 4096-ptr_max
BUF_SIZE 0 entity (-1),136
BUF_SIZE 0 entity (-1),136
DATA_SOURCE 0 entity $0
DATA_SOURCE 1 non_blocking_wait_rq $1
PARAM_COMPARE 0 entity != $0->sched_data->in_service_entity
PARAM_COMPARE 0 entity != $0->sched_data->in_service_entity
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 irq