Symbol: __min_vruntime_update
kernel/sched/fair.c
1018
__min_vruntime_update(se, node->rb_right);
kernel/sched/fair.c
1019
__min_vruntime_update(se, node->rb_left);