Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/fair.c throttle_cfs_rq() -> __assign_cfs_rq_runtime()

Type Parameter Key Value
PARAM_VALUE 0 cfs_b 4096-ptr_max
PARAM_VALUE 1 cfs_rq 4096-ptr_max
PARAM_VALUE 1 cfs_rq->curr 0,4096-ptr_max
PARAM_VALUE 1 cfs_rq->rq->donor->kcov->mode 0-4294967295
PARAM_VALUE 1 cfs_rq->rq->donor->kcov->remote 0-1
PARAM_VALUE 1 cfs_rq->rq->donor->kcov->remote_size 0-4294967295
PARAM_VALUE 1 cfs_rq->rq->donor->kcov_remote->mode 0-4294967295
PARAM_VALUE 1 cfs_rq->rq->donor->kcov_remote->remote 0-1
PARAM_VALUE 1 cfs_rq->rq->donor->kcov_remote->remote_size 0-4294967295
PARAM_VALUE 1 cfs_rq->rq->donor->ptracer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 cfs_rq->rq->donor->ptracer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 cfs_rq->rq->donor->ptracer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 1 cfs_rq->rq->donor->ptracer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 1 cfs_rq->rq->donor->ptracer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 cfs_rq->rq->donor->ptracer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 cfs_rq->rq->donor->ptracer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 cfs_rq->rq->donor->ptracer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 cfs_rq->rq->fair_server.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 1 cfs_rq->rq->fair_server.dl_timer.base->cpu_base->softirq_expires_next 0-s64max
PARAM_VALUE 1 cfs_rq->runtime_enabled s32min-(-1),1-s32max
PARAM_VALUE 1 cfs_rq->runtime_remaining s64min-0
PARAM_VALUE 1 cfs_rq->tg->cfs_bandwidth.idle 0-1
PARAM_VALUE 1 cfs_rq->tg->cfs_bandwidth.period 0-1000000000
PARAM_VALUE 1 cfs_rq->tg->cfs_bandwidth.period_active 0-1
PARAM_VALUE 1 cfs_rq->tg->cfs_bandwidth.slack_started 0-1
PARAM_VALUE 1 cfs_rq->tg->rt_bandwidth.rt_period_active 0-1
PARAM_VALUE 1 cfs_rq->throttled 0
PARAM_VALUE 2 target_runtime 1,5000000
BUF_SIZE 0 cfs_b 336
DATA_SOURCE 0 cfs_b r tg_cfs_bandwidth
DATA_SOURCE 1 cfs_rq $0
FUZZY_MAX 1 cfs_rq->runtime_remaining 0
FUZZY_MAX 2 target_runtime 1
BIT_INFO 2 target_runtime 0x0,0x4c4b41
BIT_INFO 2 target_runtime 0x0,0x4c4b41
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &cfs_b->lock
TYPE_LOCK (struct cfs_bandwidth)->lock