X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/bc7a63ab1d89d95508f55f44f23c2adda7a60037..51f012d0ec4f0ad687159ed6685b73f90f1cfc71:/kernel/fiasco/src/kern/arm/tb_entry-arm.cpp

diff --git a/kernel/fiasco/src/kern/arm/tb_entry-arm.cpp b/kernel/fiasco/src/kern/arm/tb_entry-arm.cpp
index bd547cded..9b4dae762 100644
--- a/kernel/fiasco/src/kern/arm/tb_entry-arm.cpp
+++ b/kernel/fiasco/src/kern/arm/tb_entry-arm.cpp
@@ -7,7 +7,7 @@ public:
   {
     Tb_entry_size = 64,
   };
-  static Mword (*read_cycle_counter)();
+  static Unsigned64 (*read_cycle_counter)();
 };
 
 /** logged trap. */
@@ -23,13 +23,13 @@ public:
 // --------------------------------------------------------------------
 IMPLEMENTATION [arm]:
 
-PROTECTED static Mword Tb_entry::dummy_read_cycle_counter() { return 0; }
+PROTECTED static Unsigned64 Tb_entry::dummy_read_cycle_counter() { return 0; }
 
-Mword (*Tb_entry::read_cycle_counter)() = dummy_read_cycle_counter;
+Unsigned64 (*Tb_entry::read_cycle_counter)() = dummy_read_cycle_counter;
 
 PUBLIC static
 void
-Tb_entry::set_cycle_read_func(Mword (*f)())
+Tb_entry::set_cycle_read_func(Unsigned64 (*f)())
 { read_cycle_counter = f; }
 
 PUBLIC inline