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