diff --git a/repos/base/include/spec/arm_64/trace/timestamp.h b/repos/base/include/spec/arm_64/trace/timestamp.h
index 0dd064ed7d..077effd4dd 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()
 	{