X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/c06638d2e57a3230381daf1ccce3cf0dfd0eaa92..003b628647705666de261350195da72a38f2c4d2:/kernel/fiasco/src/jdb/jdb_kern_info_config.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_kern_info_config.cpp b/kernel/fiasco/src/jdb/jdb_kern_info_config.cpp
index 9f0b7a3ee..2eb6f2da5 100644
--- a/kernel/fiasco/src/jdb/jdb_kern_info_config.cpp
+++ b/kernel/fiasco/src/jdb/jdb_kern_info_config.cpp
@@ -25,7 +25,7 @@ void
 Jdb_kern_info_config::show()
 {
   printf("%*.*s",
-      (unsigned)(&_binary_gblcfg_o_txt_end - &_binary_gblcfg_o_txt_start),
-      (unsigned)(&_binary_gblcfg_o_txt_end - &_binary_gblcfg_o_txt_start),
+      (int)(&_binary_gblcfg_o_txt_end - &_binary_gblcfg_o_txt_start),
+      (int)(&_binary_gblcfg_o_txt_end - &_binary_gblcfg_o_txt_start),
       &_binary_gblcfg_o_txt_start);
 }