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)
commit10acc73cdf467bbe49b3c85337162c16d846dc99
tree83899bbeff30e106005253329cfa666f4610c7ee
parent28f5d1c182180c5a2c7322e8fa1d2e6ed831b5d0
ARMv8: use timer_* functions in debug syscalls

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
kernel/arch/armv8/syscall.c