update

[l4.git] / l4 / pkg / dope / server / l4 / timer.c

diff --git a/l4/pkg/dope/server/l4/timer.c b/l4/pkg/dope/server/l4/timer.c
index 51ad2f49d5c4e951c00a224e4466532f86a10c72..3da6632251792cf4f214466ce3dae933df6d09e9 100644 (file)
--- a/l4/pkg/dope/server/l4/timer.c
+++ b/l4/pkg/dope/server/l4/timer.c
@@ -20,12 +20,6 @@
 #include <l4/re/env.h>
 #include <l4/util/macros.h>
 
-#if 0
-#ifndef ARCH_arm
-#include <l4/util/thread_time.h>
-#endif
-#endif
-
 #include "timer.h"
 
 int init_timer(struct dope_services *d);
@@ -37,11 +31,7 @@ int init_timer(struct dope_services *d);
 
 /*** RETURN CURRENT SYSTEM TIME COUNTER IN MICROSECONDS ***/
 static u32 get_time(void) {
-//#ifdef ARCH_arm
        return (u32)l4re_kip()->clock;
-//#else
-//     return l4_tsc_to_us(l4util_thread_time(l4re_kip()));
-//#endif
 }