Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/bfq-iosched.c bfq_do_early_stable_merge() -> bfq_setup_merge()

Type Parameter Key Value
PARAM_VALUE 0 bfqq 4096-ptr_max
PARAM_VALUE 0 bfqq->actuator_idx 0-7
PARAM_VALUE 0 bfqq->bfqd 4096-ptr_max
PARAM_VALUE 0 bfqq->bfqd->actuator_load_threshold 0,4
PARAM_VALUE 0 bfqq->bfqd->bfq_burst_interval 0-536870912
PARAM_VALUE 0 bfqq->bfqd->bfq_large_burst_thresh 0,8
PARAM_VALUE 0 bfqq->bfqd->bfq_wr_coeff 0,30
PARAM_VALUE 0 bfqq->bfqd->bfq_wr_max_softrt_rate 0,7000
PARAM_VALUE 0 bfqq->bfqd->bfq_wr_min_idle_time 0-536870912
PARAM_VALUE 0 bfqq->bfqd->bfq_wr_min_inter_arr_async 0-536870912
PARAM_VALUE 0 bfqq->bfqd->bfq_wr_rt_max_time 0-536870912
PARAM_VALUE 0 bfqq->bfqd->hw_tag (-1)-1
PARAM_VALUE 0 bfqq->bfqd->num_actuators 0-6
PARAM_VALUE 0 bfqq->bfqd->rate_dur_prod 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 bfqq->burst_list_node.next 0
PARAM_VALUE 0 bfqq->burst_list_node.pprev 0
PARAM_VALUE 0 bfqq->entity.new_weight 10-80
PARAM_VALUE 0 bfqq->entity.orig_weight 0,10-80
PARAM_VALUE 0 bfqq->entity.prio_changed 1
PARAM_VALUE 0 bfqq->entity.sched_data 4096-ptr_max
PARAM_VALUE 0 bfqq->entity.weight 0,10-80
PARAM_VALUE 0 bfqq->fifo.next 4096-ptr_max
PARAM_VALUE 0 bfqq->fifo.next->next 4096-ptr_max
PARAM_VALUE 0 bfqq->fifo.prev 4096-ptr_max
PARAM_VALUE 0 bfqq->fifo.prev->next 4096-ptr_max
PARAM_VALUE 0 bfqq->fifo.prev->prev 4096-ptr_max
PARAM_VALUE 0 bfqq->new_ioprio 0-7
PARAM_VALUE 0 bfqq->new_ioprio_class 1-3
PARAM_VALUE 0 bfqq->ref 1-s32max
PARAM_VALUE 0 bfqq->seek_history 1
PARAM_VALUE 0 bfqq->woken_list_node.next 0
PARAM_VALUE 0 bfqq->woken_list_node.pprev 0
PARAM_VALUE 0 bfqq->wr_coeff 1
PARAM_VALUE 1 new_bfqq 4096-ptr_max
PARAM_VALUE 1 new_bfqq->actuator_idx 0-7
CAPPED_DATA 0 bfqq->actuator_idx 1
CAPPED_DATA 0 bfqq->entity.parent 1
CAPPED_DATA 0 bfqq->ioprio 1
CAPPED_DATA 0 bfqq->ioprio_class 1
CAPPED_DATA 1 new_bfqq->actuator_idx 1
CAPPED_DATA 1 new_bfqq->entity.parent 1
CAPPED_DATA 1 new_bfqq->ioprio 1
CAPPED_DATA 1 new_bfqq->ioprio_class 1
DATA_SOURCE 0 bfqq $1
DATA_SOURCE 1 new_bfqq $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bfqd->lock
LOCK2 irq
TYPE_LOCK (struct bfq_data)->lock

block/bfq-iosched.c bfq_setup_cooperator() -> bfq_setup_merge()

Type Parameter Key Value
PARAM_VALUE 0 bfqq 4096-ptr_max
PARAM_VALUE 0 bfqq->ioprio_class 0-2,4-u16max
PARAM_VALUE 0 bfqq->new_bfqq 0
PARAM_VALUE 1 new_bfqq 4096-ptr_max
PARAM_VALUE 1 new_bfqq->ioprio_class 0-2,4-u16max
BUF_SIZE 0 bfqq (-1),1-s32max
BUF_SIZE 0 bfqq (-1),1-s32max
CAPPED_DATA 0 bfqq->entity.parent 1
CAPPED_DATA 0 bfqq->ioprio_class 1
CAPPED_DATA 1 new_bfqq->entity.parent 1
CAPPED_DATA 1 new_bfqq->ioprio_class 1
DATA_SOURCE 0 bfqq $1
PARAM_COMPARE 0 bfqq != $1
PARAM_COMPARE 0 bfqq != $1
PARAM_COMPARE 0 bfqq->entity.parent == $1->entity.parent
PARAM_COMPARE 0 bfqq->ioprio_class == $1->ioprio_class
PARAM_COMPARE 1 new_bfqq != $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 irq

block/bfq-iosched.c bfq_setup_cooperator() -> bfq_setup_merge()

Type Parameter Key Value
PARAM_VALUE 0 bfqq 4096-ptr_max
PARAM_VALUE 0 bfqq->ioprio_class 0-2,4-u16max
PARAM_VALUE 0 bfqq->new_bfqq 0
PARAM_VALUE 1 new_bfqq 4096-ptr_max
PARAM_VALUE 1 new_bfqq->ioprio_class 0-2,4-u16max
PARAM_VALUE 1 new_bfqq->next_rq 4096-ptr_max
BUF_SIZE 0 bfqq (-1),1-s32max
BUF_SIZE 0 bfqq (-1),1-s32max
CAPPED_DATA 0 bfqq 1
CAPPED_DATA 0 bfqq->ioprio_class 1
CAPPED_DATA 1 new_bfqq->ioprio_class 1
DATA_SOURCE 0 bfqq $1
DATA_SOURCE 1 new_bfqq r bfq_find_close_cooperator
PARAM_COMPARE 0 bfqq->ioprio_class == $1->ioprio_class
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 irq

block/bfq-iosched.c bfq_setup_stable_merge() -> bfq_setup_merge()

Type Parameter Key Value
PARAM_VALUE 0 bfqq 4096-ptr_max
PARAM_VALUE 0 bfqq->new_bfqq 0
PARAM_VALUE 1 new_bfqq 4096-ptr_max
BUF_SIZE 0 bfqq (-1),1-s32max
BUF_SIZE 0 bfqq (-1),1-s32max
DATA_SOURCE 0 bfqq $1
DATA_SOURCE 1 new_bfqq $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 irq