update

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

diff --git a/kernel/fiasco/src/jdb/ia32/jdb_kern_info-ia32-amd64.cpp b/kernel/fiasco/src/jdb/ia32/jdb_kern_info-ia32-amd64.cpp
index bfafa191226022529d9234ffc84e007ca079ba8e..b7231652645b2bcbfc003db4c890b7728cde0908 100644 (file)
--- a/kernel/fiasco/src/jdb/ia32/jdb_kern_info-ia32-amd64.cpp
+++ b/kernel/fiasco/src/jdb/ia32/jdb_kern_info-ia32-amd64.cpp
@@ -38,7 +38,9 @@ Jdb_kern_info_idt::show()
   Idt::get (&idt_pseudo);
 
   printf("idt base="L4_PTR_FMT"  limit=%04x (%04x bytes)\n",
-        idt_pseudo.base(), (idt_pseudo.limit()+1)/sizeof(Idt_entry), idt_pseudo.limit()+1);
+         idt_pseudo.base(),
+         (unsigned)((idt_pseudo.limit() + 1) / sizeof(Idt_entry)),
+         idt_pseudo.limit() + 1);
   if (!Jdb_core::new_line(line))
     return;