Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 tg 4096-8148527465910603775,8148527465910603777-ptr_max
PARAM_VALUE 1 period 1000000-1000000000
PARAM_VALUE 2 quota 1000000-17592186044415000,u64max
CAPPED_DATA 2 quota 1
CAPPED_DATA 2 quota 1
DATA_SOURCE 0 tg $0
FUZZY_MAX 2 quota u64max
NOSPEC 2 quota
NOSPEC 2 quota
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 period 1000000-1000000000[c]
USER_DATA 2 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