edf.h

Go to the documentation of this file.

/* -*- mode: c; c-basic-offset: 4; -*- */
/* Created by Eric Crosson 2015-03-07 */
/* Revision history: Look in Git FGT */
#ifndef __EDF__
#define __EDF__

#include "libos/os.h"
#include "libos/thread_structures.h"
#include "priority_schedule_structures.h"

/* todo: this is a duplicate, remove it and fix */
#define SCHEDULER_MAX_THREADS    16

void edf_init();

void edf_insert(sched_task*);

tcb_t* edf_pop();

#endif

/* End Doxygen group
 * @}
 */