base: Timestamp type on arm_64 is 64bit

2020-01-13 15:06:26 +01:00 · 2020-01-13 15:06:26 +01:00 · f09ac23144
parent 734752d6b5
commit f09ac23144
1 changed files with 1 additions and 1 deletions
--- 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()
 	{