From f09ac23144c3e0431eee46734b252f43f099894a Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 13 Jan 2020 15:06:26 +0100
Subject: [PATCH] base: Timestamp type on arm_64 is 64bit

---
 repos/base/include/spec/arm_64/trace/timestamp.h | 2 +-
 1 file changed, 1 insertion(+), 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 0dd064ed7..077effd4d 100644
--- a/repos/base/include/spec/arm_64/trace/timestamp.h
+++ b/repos/base/include/spec/arm_64/trace/timestamp.h
@@ -19,7 +19,7 @@
 
 namespace Genode { namespace Trace {
 
-	typedef uint32_t Timestamp;
+	typedef uint64_t Timestamp;
 
 	inline Timestamp timestamp()
 	{