Defined in 1 files as a variable:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 policy 0-s32max
CAPPED_DATA 0 policy 1
FUZZY_MAX 0 policy 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 policy 0-s32max[c]
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read