Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
BUF_SIZE 0 p->sched_class (-1),248
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $0
NOSPEC 0 p->rt_priority
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 p->dl.dl_bw 0-18446744073707454464
USER_DATA 0 p->dl.dl_density 0-18446744073707454464
USER_DATA 0 p->dl.dl_period 0-u64max
USER_DATA 0 p->dl.flags 0,2-268435462[c]
USER_DATA 0 p->normal_prio 0-98[c]
USER_DATA 0 p->prio 0-98[c]
USER_DATA 0 p->rt_priority 0-99[c]
USER_DATA 0 p->sched_reset_on_fork 0-1
USER_DATA 0 p->se.slice 100001-99999999
NO_OVERFLOW_SIMPLE 0 p->dl.dl_runtime
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
CAPPED_DATA 0 p 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rq

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &cgroup_mutex

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 p unit_byte
LOCK2 &p->pi_lock
LOCK2 rcu_read
HALF_LOCKED2 irq
TYPE_LOCK (struct task_struct)->pi_lock

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->prio 0-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 p unit_byte
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 rf.flags

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p r css_task_iter_next
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
HALF_LOCKED2 flags
HALF_LOCKED2 global &torture_mutex
HALF_LOCKED2 global &torture_raw_spinlock
HALF_LOCKED2 global &torture_rwlock
HALF_LOCKED2 global &torture_rwsem
HALF_LOCKED2 global &torture_spinlock

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

Type Parameter Key Value

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
NOSPEC 0 p->thread.fsbase
NOSPEC 0 p->thread.gsbase
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 p->exit_signal 1-64[c]
USER_DATA 0 p->group_leader->thread.fsbase 0-u32max
USER_DATA 0 p->group_leader->thread.gsbase 0-u32max
USER_DATA 0 p->thread.fsbase 0-u32max
USER_DATA 0 p->thread.gsbase 0-u32max
HALF_LOCKED2 _T->lock
HALF_LOCKED2 rcu_read