Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/build_policy.c dequeue_task_rt() -> dequeue_rt_entity()

Type Parameter Key Value
PARAM_VALUE 0 rt_se 4096-ptr_max
PARAM_VALUE 1 flags 0,8-10,14,33,41,74,78,65545
BUF_SIZE 0 rt_se 72
DATA_SOURCE 1 flags $2
BIT_INFO 1 flags 0x0,0x1007f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 &p->sighand->siglock
HALF_LOCKED2 &p->signal->exec_update_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rf.flags
HALF_LOCKED2 rq

kernel/sched/build_policy.c sched_rt_rq_dequeue() -> dequeue_rt_entity()

Type Parameter Key Value
PARAM_VALUE 0 rt_se 4096-ptr_max
PARAM_VALUE 0 rt_se->on_rq 1-u16max
PARAM_VALUE 1 flags 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rt_rq->rt_runtime_lock
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 rf.flags
TYPE_LOCK (struct rt_rq)->rt_runtime_lock