Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/build_policy.c prio_changed_rt() -> rt_queue_pull_task()

Type Parameter Key Value
PARAM_VALUE 0 rq 4096-ptr_max
PARAM_VALUE 0 rq->donor 4096-ptr_max
CAPPED_DATA 0 rq->donor 1
DATA_SOURCE 0 rq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/sched/build_policy.c switched_from_rt() -> rt_queue_pull_task()

Type Parameter Key Value
PARAM_VALUE 0 rq 4096-ptr_max
PARAM_VALUE 0 rq->rt.rt_nr_running 0
DATA_SOURCE 0 rq $0
STR_LEN 0 rq (-1),8-9,11-29,31-34,38
STR_LEN 0 rq (-1),8-9,11-29,31-34,38
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 &p->sighand->siglock