update

[l4.git] / 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 bd547cded84c7b8aad93941cfc8078a758b4f9e8..9b4dae762819dab6c20472f94c8510acac63db34 100644 (file)
--- 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