/**
 * rr_impl.c
 *
 * Implementation of functionality specific to round-robin scheduling.
 */

#include "rr_impl.h"

void rr_wake_worker(thread_info_t *info) {
  // TODO
}

void rr_wait_for_worker(sched_queue_t *queue) {
  // TODO
}

/**
 * rr_impl.c
 *
 * Implementation of functionality specific to round-robin scheduling.
 */

#include "rr_impl.h"

void rr_wake_worker(thread_info_t *info) {
  // TODO
}

void rr_wait(sched_queue_t *queue) {
  // TODO
}

Revert change to rr_wait name
Revert change to rr_wait name
