Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/sched/build_policy.c __sched_setscheduler() -> rt_bandwidth_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &cpuset_mutex

kernel/sched/build_policy.c do_sched_rt_period_timer() -> rt_bandwidth_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

kernel/sched/build_policy.c start_rt_bandwidth() -> rt_bandwidth_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

kernel/sched/build_policy.c tg_rt_schedulable() -> rt_bandwidth_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 rcu_read

kernel/sched/build_policy.c update_curr_dl_se() -> rt_bandwidth_enabled()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/sched/build_policy.c update_curr_rt() -> rt_bandwidth_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 rf.flags