Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/sched/build_policy.c task_is_blocked() -> sched_proxy_exec()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 &p->sighand->siglock

kernel/sched/fair.c task_is_blocked() -> sched_proxy_exec()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 busiest
HALF_LOCKED2 busiest_rq
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
HALF_LOCKED2 rf.flags

kernel/locking/mutex.c __mutex_unlock_slowpath() -> sched_proxy_exec()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt

kernel/locking/mutex.c __mutex_unlock_slowpath() -> sched_proxy_exec()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 &lock->wait_lock
LOCK2 flags
TYPE_LOCK (struct mutex)->wait_lock

kernel/sched/core.c __schedule() -> sched_proxy_exec()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq

kernel/sched/core.c task_is_blocked() -> sched_proxy_exec()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq