X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/8fe9942cde59835eb3c3c6936d866dd3305582ef..003b628647705666de261350195da72a38f2c4d2:/kernel/fiasco/src/kern/ia32/timer-apic.cpp

diff --git a/kernel/fiasco/src/kern/ia32/timer-apic.cpp b/kernel/fiasco/src/kern/ia32/timer-apic.cpp
index 4e3f528cb..bd0d55bae 100644
--- a/kernel/fiasco/src/kern/ia32/timer-apic.cpp
+++ b/kernel/fiasco/src/kern/ia32/timer-apic.cpp
@@ -37,7 +37,7 @@ Timer::init(Cpu_number)
     Config::getchar_does_hlt_works_ok = false && Config::hlt_works_ok;
 
   printf ("Using the Local APIC timer on vector %x (%s Mode) for scheduling\n",
-          Config::Apic_timer_vector,
+          (unsigned)Config::Apic_timer_vector,
           Config::Scheduler_one_shot ? "One-Shot" : "Periodic");
 }