Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/sched/build_policy.c __normal_prio() -> rt_policy()

Type Parameter Key Value
PARAM_VALUE 0 policy s32min-5,7-s32max
DATA_SOURCE 0 policy $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 policy 0-5,7-s32max
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 policy 0-3,5-6[c]
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
CAPPED_DATA 0 policy 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
CAPPED_DATA 0 policy 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 policy 0-3,5-6[c]
HALF_LOCKED2 global &cpuset_mutex

kernel/sched/build_policy.c task_has_rt_policy() -> rt_policy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

kernel/sched/build_policy.c user_check_sched_setscheduler() -> rt_policy()

Type Parameter Key Value
DATA_SOURCE 0 policy $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 policy 0-3,5-6[c]

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

Type Parameter Key Value
PARAM_VALUE 0 policy 1-2,4,6-s32max
CAPPED_DATA 0 policy 1
DATA_SOURCE 0 policy $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 policy 1-2,4,6-s32max[c]
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read

kernel/sched/core.c task_has_rt_policy() -> rt_policy()

Type Parameter Key Value
PARAM_VALUE 0 policy 0-5,7-s32max
RX_PATH
TASK_NOT_RUNNING