Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/fair.c __entity_less() -> entity_before()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

kernel/sched/fair.c pick_eevdf() -> entity_before()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->on_rq 1-255
PARAM_VALUE 1 b 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 b unit_byte
HALF_LOCKED2 irq

kernel/sched/fair.c preempt_sync() -> entity_before()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->sched_delayed 0
PARAM_VALUE 1 b 4096-ptr_max
BUF_SIZE 0 a 320
BUF_SIZE 1 b 320
DATA_SOURCE 0 a $2
DATA_SOURCE 1 b $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rq

kernel/sched/fair.c set_preempt_buddy() -> entity_before()

Type Parameter Key Value
PARAM_VALUE 0 a 1-u64max
PARAM_VALUE 1 b 4096-ptr_max
PARAM_VALUE 1 b->sched_delayed 0
BUF_SIZE 1 b 320
DATA_SOURCE 1 b $1
RX_PATH
TASK_NOT_RUNNING