Update

[l4.git] / 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 9f0b7a3eebf8c0bbf7486b7116344956c046a28b..2eb6f2da5e31a54cb990d8b0546f051ac04087ff 100644 (file)
--- 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);
 }