Defined in 1 files as a prototype:

Referenced in 1 files:

Smatch caller information:

kernel/sched/fair.c __min_vruntime_update() -> __BUILD_BUG_vruntime_cmp()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/sched/fair.c max_vruntime() -> __BUILD_BUG_vruntime_cmp()

Type Parameter Key Value
NOCHECK_CALL

kernel/sched/fair.c min_vruntime() -> __BUILD_BUG_vruntime_cmp()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/sched/fair.c protect_slice() -> __BUILD_BUG_vruntime_cmp()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/sched/fair.c update_deadline() -> __BUILD_BUG_vruntime_cmp()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq