Searched refs:highest_thread (Results 1 – 1 of 1) sorted by relevance
2548 thread_t highest_thread = THREAD_NULL; in sched_clutch_thread_highest_remove() local2550 highest_thread = sched_clutch_thread_bound_lookup(root_clutch, root_bucket); in sched_clutch_thread_highest_remove()2552 highest_thread = sched_clutch_thread_unbound_lookup(root_clutch, root_bucket); in sched_clutch_thread_highest_remove()2554 …sched_clutch_thread_remove(root_clutch, highest_thread, current_timestamp, SCHED_CLUTCH_BUCKET_OPT… in sched_clutch_thread_highest_remove()2555 return highest_thread; in sched_clutch_thread_highest_remove()