Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/core.c tg_set_bandwidth() -> scx_group_set_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 tg 4096-8148527465910603775,8148527465910603777-ptr_max
PARAM_VALUE 1 period_us 1000-1000000
PARAM_VALUE 2 quota_us 1000-17592186044415,u64max
PARAM_VALUE 3 burst_us 0-18446744073709551
CAPPED_DATA 0 tg->cfs_bandwidth.period 1
CAPPED_DATA 2 quota_us 1
CAPPED_DATA 2 quota_us 1
CAPPED_DATA 3 burst_us 1
CAPPED_DATA 3 burst_us 1
DATA_SOURCE 0 tg $0
DATA_SOURCE 1 period_us $1
DATA_SOURCE 2 quota_us $2
DATA_SOURCE 3 burst_us $3
FUZZY_MAX 3 burst_us 18446744073709551
PARAM_COMPARE 2 quota_us >= $3
PARAM_COMPARE 3 burst_us <= $2
PARAM_COMPARE 3 burst_us <= $2
NOSPEC 2 quota_us
NOSPEC 2 quota_us
NOSPEC 3 burst_us
NOSPEC 3 burst_us
HARD_MAX 3 burst_us 18446744073709551
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 tg->cfs_bandwidth.burst 0-18446744073709551000[c]
USER_DATA 0 tg->cfs_bandwidth.quota 1000000-17592186044415000[c]
USER_DATA 1 period_us 1000-1000000
USER_DATA 2 quota_us 1000-17592186044415[c]
USER_DATA 3 burst_us 0-18446744073709551[c]
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex