Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/fair.c yield_to_task_fair() -> yield_task_fair()

Type Parameter Key Value
PARAM_VALUE 0 rq 4096-ptr_max
PARAM_VALUE 0 rq->donor->sched_class 4096-ptr_max
PARAM_VALUE 0 rq->donor->sched_class->yield_to_task 3940359203731251200
DATA_SOURCE 0 rq $0
NOCHECK_CALL
LOCK2 &p->pi_lock
LOCK2 irq
TYPE_LOCK (struct task_struct)->pi_lock

kernel/sched/build_policy.c do_sched_yield() -> (struct sched_class)->yield_task()

Type Parameter Key Value
PARAM_VALUE 0 rq 4096-ptr_max
PARAM_VALUE 0 rq->__lock.owner_cpu 0
PARAM_VALUE 0 rq->__lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 rq->clock_update_flags 0-3
PARAM_VALUE 0 rq->donor 4096-ptr_max
PARAM_VALUE 0 rq->donor->sched_class 4096-ptr_max
DATA_SOURCE 0 rq r _this_rq_lock_irq
CONTAINER 0 -24-800-24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq