Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bfqd 4096-ptr_max
PARAM_VALUE 0 bfqd->async_depths 4096-ptr_max
PARAM_VALUE 0 bfqd->num_actuators 1-u32max
PARAM_VALUE 1 bic 4096-ptr_max
PARAM_VALUE 2 opf 1-u32max
PARAM_VALUE 3 act_idx 0-4294967294
BUF_SIZE 0 bfqd 4,24,64,168-s32max
BUF_SIZE 0 bfqd 4,24,64,168-s32max
CAPPED_DATA 3 act_idx 1
DATA_SOURCE 1 bic r bfq_bic_lookup
DATA_SOURCE 2 opf $0
PARAM_COMPARE 3 act_idx < $0->num_actuators
RX_PATH
TASK_NOT_RUNNING
UNITS 4 limit unit_array_size