ARMv8: use timer_* functions in debug syscalls
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 14:58:50 +0000 (15:58 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 14:58:50 +0000 (15:58 +0100)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

kernel/arch/armv8/syscall.c

index 57deea2..8aa44b7 100644 (file)
@@ -30,6 +30,7 @@
 #include <useraccess.h>
 #include <platform.h>
 #include <systime.h>
+#include <timers.h>
 
 // helper macros  for invocation handler definitions
 #define INVOCATION_HANDLER(func) \
@@ -1140,11 +1141,11 @@ static struct sysret handle_debug_syscall(int msg)
             break;
 
         case DEBUG_HARDWARE_TIMER_READ:
-            retval.value = tsc_read();
+            retval.value = timer_get_timestamp();
             break;
 
         case DEBUG_HARDWARE_TIMER_HERTZ_READ:
-            retval.value = tsc_get_hz();
+            retval.value = timer_get_frequency();
             break;
 
         case DEBUG_GET_TSC_PER_MS: