Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/core.c __sched_core_less() -> prio_less()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 4096-ptr_max
CAPPED_DATA 0 a->core_cookie 1
CAPPED_DATA 1 b->core_cookie 1
DATA_SOURCE 0 a $1
DATA_SOURCE 1 b $0
PARAM_COMPARE 1 b->core_cookie == $0->core_cookie
RX_PATH
TASK_NOT_RUNNING

kernel/sched/core.c pick_next_task() -> prio_less()

Type Parameter Key Value
PARAM_VALUE 0 a 1-18446744073709551614
PARAM_VALUE 1 b 1-18446744073709551614
DATA_SOURCE 1 b r pick_task
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq