projects
/
barrelfish
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
28f5d1c
)
ARMv8: use timer_* functions in debug syscalls
author
Reto Achermann
<reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 14:58:50 +0000 (15:58 +0100)
committer
Reto 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
patch
|
blob
|
history
diff --git
a/kernel/arch/armv8/syscall.c
b/kernel/arch/armv8/syscall.c
index
57deea2
..
8aa44b7
100644
(file)
--- a/
kernel/arch/armv8/syscall.c
+++ b/
kernel/arch/armv8/syscall.c
@@
-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: