Fixup of some headers.
[barrelfish] / kernel / schedule_rbed.c
index 43eec41..f5de76c 100644 (file)
@@ -71,9 +71,6 @@
  */
 #define BETA            (SPECTRUM / 10)
 
-#define MAX(a, b)       ((a) > (b) ? (a) : (b))
-#define MIN(a, b)       ((a) < (b) ? (a) : (b))
-
 
 // queue_tail has to be global, as its used from assembly
 // this is always kept in sync with kcb_current->queue_tail