X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/c06638d2e57a3230381daf1ccce3cf0dfd0eaa92..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/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 045a1202b..0dd48a3b9 100644
--- 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