update

[l4.git] / l4 / pkg / moe / server / libgc / include / private / gcconfig.h

diff --git a/l4/pkg/moe/server/libgc/include/private/gcconfig.h b/l4/pkg/moe/server/libgc/include/private/gcconfig.h
index 045a1202b96c9322f8a2f563b8f8a3031fe2506f..0dd48a3b9b092a9577477186240650c80b500518 100644 (file)
--- a/l4/pkg/moe/server/libgc/include/private/gcconfig.h
+++ b/l4/pkg/moe/server/libgc/include/private/gcconfig.h
@@ -1,5 +1,19 @@
 #pragma once
 
+#include <l4/sys/types.h>
+#include <l4/sys/kip.h>
+
+extern l4_kernel_info_t *_current_kip;
+
+#ifndef __L4
+#  define __L4
+#endif
+
+#define CLOCK_TYPE l4_cpu_time_t
+#define CLOCKS_PER_SEC 1000000
+#define MS_TIME_DIFF(a,b) ((long)((a)-(b)))
+#define GET_TIME(x) x = _current_kip->clock
+
 #define OS_TYPE "L4"
 #define MARK_BIT_PER_GRANULE
 #undef MARK_BIT_PER_OBJ