Fixup of some headers.
[barrelfish] / include / bitmacros.h
index 508f85f..5fe74a7 100644 (file)
@@ -13,6 +13,7 @@
 #define __BITMACROS_H
 
 #include <stdint.h>
+#include <sys/param.h>
 
 /* A one-bit mask at bit n of type t */
 #define BIT_T(t, n) ((t)1 << (n))
 /* Return the number of entries in a statically-allocated array */
 #define ARRAY_LENGTH(x) (sizeof(x) / sizeof((x)[0]))
 
-/* Return minimum argument */
-#ifndef MIN
-#define MIN(a, b) ((a) < (b) ? (a) : (b))
-#endif
-
-/* Return maximum argument */
-#ifndef MAX
-#define MAX(a, b) ((a) > (b) ? (a) : (b))
-#endif
 
 /* Compute the floor of log_2 of the given number */
 static inline uint8_t