Update

[l4.git] / 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 4e3f528cbdc8312bd6ca2077bc519ee49895e21c..bd0d55baebd2652bf16ed2a2777318f7cac42d81 100644 (file)
--- 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");
 }