Update

[l4.git] / kernel / fiasco / src / jdb / ia32 / 64 / jdb_kern_info-bench-ia32-64.cpp

diff --git a/kernel/fiasco/src/jdb/ia32/64/jdb_kern_info-bench-ia32-64.cpp b/kernel/fiasco/src/jdb/ia32/64/jdb_kern_info-bench-ia32-64.cpp
index 1af3dec8ed83ddfebda9825187f9ef736448b948..4772755617a33a604e30e0e93e306e73ed8a2ad6 100644 (file)
--- a/kernel/fiasco/src/jdb/ia32/64/jdb_kern_info-bench-ia32-64.cpp
+++ b/kernel/fiasco/src/jdb/ia32/64/jdb_kern_info-bench-ia32-64.cpp
@@ -13,7 +13,7 @@ Jdb_kern_info_bench::show_time(Unsigned64 time, Unsigned32 rounds,
                               const char *descr)
 {
   Unsigned64 cycs = div32(time, rounds);
-  printf("  %-24s %6lld.%lld cycles\n",
+  printf("  %-24s %6llu.%llu cycles\n",
       descr, cycs, div32(time-cycs*rounds, rounds/10));
 }
 
@@ -83,7 +83,7 @@ Jdb_kern_info_bench::show_arch()
   Mword dummy;
   Mword cr0, pic;
   Unsigned32 time_reload_cr3, time_invlpg;
-  register int i;
+  int i;
   Gdt *gdt = Cpu::boot_cpu()->get_gdt();
   Unsigned32 flags = Proc::cli_save();