Update

[l4.git] / kernel / fiasco / src / jdb / jdb_ipi.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_ipi.cpp b/kernel/fiasco/src/jdb/jdb_ipi.cpp
index eb47e989221d99fbe06f5a765bbd15e702009a22..d634c817a1b6796dc2cfacf85d98bdf1925c387a 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_ipi.cpp
+++ b/kernel/fiasco/src/jdb/jdb_ipi.cpp
@@ -21,7 +21,7 @@ void
 Jdb_ipi_module::print_info(Cpu_number cpu)
 {
   Ipi &ipi = Ipi::_ipi.cpu(cpu);
-  printf("CPU%02u sent/rcvd: %ld/%ld\n",
+  printf("CPU%02u sent/rcvd: %lu/%lu\n",
          cxx::int_value<Cpu_number>(cpu), ipi._stat_sent, ipi._stat_received);
 }