Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/f2fs/checkpoint.c rt_task() -> rt_prio()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

kernel/sched/build_policy.c dec_rt_tasks() -> rt_prio()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/sched/build_policy.c inc_rt_tasks() -> rt_prio()

Type Parameter Key Value
DATA_SOURCE 0 prio r rt_se_prio
RX_PATH
TASK_NOT_RUNNING

kernel/sched/build_policy.c rt_task() -> rt_prio()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 prio 0-98,120[c]
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 rcu_read

kernel/locking/locktorture.c rt_task() -> rt_prio()

Type Parameter Key Value

kernel/sched/core.c __setscheduler_class() -> rt_prio()

Type Parameter Key Value
PARAM_VALUE 0 prio 0-s32max
DATA_SOURCE 0 prio $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 prio 0-98[c]

kernel/sched/core.c rt_mutex_setprio() -> rt_prio()

Type Parameter Key Value
PARAM_VALUE 0 prio 0-s32max
DATA_SOURCE 0 prio r __rt_effective_prio
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &lock->wait_lock
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct rt_mutex_base)->wait_lock

kernel/sched/core.c rt_mutex_setprio() -> rt_prio()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &lock->wait_lock
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct rt_mutex_base)->wait_lock

kernel/sched/core.c rt_task() -> rt_prio()

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

kernel/sched/core.c sched_fork() -> rt_prio()

Type Parameter Key Value
PARAM_VALUE 0 prio 0-s32max
RX_PATH
TASK_NOT_RUNNING