Symbol: cpu_search_highest
sys/kern/sched_ule.c
843
load = cpu_search_highest(&cg->cg_child[c], s, &lr);
sys/kern/sched_ule.c
915
cpu_search_highest(cg, &s, &r);