From 1b489820a9042fab4d7c55bbd4072eb2d69c4954 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Tue, 4 Jun 2019 21:17:10 +0200
Subject: [PATCH] base: timestamp support for ARM 64-Bit

issue #3407
---
 repos/base/include/spec/arm_64/trace/timestamp.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/repos/base/include/spec/arm_64/trace/timestamp.h b/repos/base/include/spec/arm_64/trace/timestamp.h
index 972debde8..0dd064ed7 100644
--- a/repos/base/include/spec/arm_64/trace/timestamp.h
+++ b/repos/base/include/spec/arm_64/trace/timestamp.h
@@ -1,6 +1,7 @@
 /*
  * \brief  Trace timestamp
  * \author Stefan Kalkowski
+ * \author Sebastian Sumpf
  * \date   2019-03-25
  */
 
@@ -22,7 +23,10 @@ namespace Genode { namespace Trace {
 
 	inline Timestamp timestamp()
 	{
-		return 0;
+		uint64_t t;
+		/* cycle counter */
+		asm volatile("mrs %0, pmccntr_el0" : "=r" (t));
+		return t;
 	}
 } }