Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/sched/fair.c do_sched_cfs_period_timer() -> __refill_cfs_bandwidth_runtime()

Type Parameter Key Value
PARAM_VALUE 0 cfs_b 4096-ptr_max
PARAM_VALUE 0 cfs_b->quota 0-18446744073709551614
CAPPED_DATA 0 &cfs_b->throttled_cfs_rq 1
DATA_SOURCE 0 cfs_b $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/sched/core.c tg_set_cfs_bandwidth() -> __refill_cfs_bandwidth_runtime()

Type Parameter Key Value
PARAM_VALUE 0 cfs_b 4096-ptr_max
PARAM_VALUE 0 cfs_b->burst 0-18446744073709551000
PARAM_VALUE 0 cfs_b->quota 1000000-17592186044415000,u64max
BUF_SIZE 0 cfs_b 336
CAPPED_DATA 0 cfs_b->burst 1
CAPPED_DATA 0 cfs_b->quota 1
NOSPEC 0 cfs_b->burst
NOSPEC 0 cfs_b->quota
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cfs_b->burst 0-18446744073709551000[c]
USER_DATA 0 cfs_b->period 1000001-1000000000[c]
USER_DATA 0 cfs_b->quota 1000000-17592186044415000[c]
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex