Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/sched/build_policy.c task_woken_dl() -> test_tsk_need_resched()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tsk unit_byte
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 rf.flags

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tsk unit_byte
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 rf.flags

kernel/sched/build_policy.c wakeup_preempt_dl() -> test_tsk_need_resched()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tsk unit_byte

kernel/sched/build_policy.c wakeup_preempt_rt() -> test_tsk_need_resched()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tsk unit_byte

kernel/sched/fair.c wakeup_preempt_fair() -> test_tsk_need_resched()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tsk unit_byte

kernel/sched/core.c wakeup_preempt() -> test_tsk_need_resched()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tsk unit_byte
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rf.flags