Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/bfq-cgroup.c __bfq_bic_change_cgroup() -> bfq_sync_bfqq_move()

Type Parameter Key Value
PARAM_VALUE 0 bfqd 4096-ptr_max
PARAM_VALUE 0 bfqd->num_actuators 1-u32max
PARAM_VALUE 1 sync_bfqq 1-u64max
PARAM_VALUE 2 bic 4096-ptr_max
PARAM_VALUE 2 bic->icq.q 4096-ptr_max
PARAM_VALUE 2 bic->icq.q->elevator 4096-ptr_max
PARAM_VALUE 2 bic->ioprio 0-u16max
PARAM_VALUE 3 bfqg 4096-ptr_max
BUF_SIZE 0 bfqd 368,3584
BUF_SIZE 0 bfqd 368,3584
CAPPED_DATA 2 bic 1
CAPPED_DATA 4 act_idx 1
DATA_SOURCE 0 bfqd $0
DATA_SOURCE 1 sync_bfqq r bic_to_bfqq
DATA_SOURCE 2 bic $1
DATA_SOURCE 3 bfqg $2
PARAM_COMPARE 4 act_idx < $0->num_actuators
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bfqd->lock
LOCK2 irq
TYPE_LOCK (struct bfq_data)->lock